Content deleted Content added
Line 7:
if '''x'''<sub>1</sub>,...,'''x'''<sub>n</sub> are '''values''', then the '''sequence''' ⟨'''x'''<sub>1</sub>,...,'''x'''<sub>n</sub>⟩ is also a '''value'''
These values can be built from any set of atoms: booleans, integers, reals, characters, etc.
'''boolean''' : {'''T''', '''F'''}
'''integer''' : {0,1,2,...,∞}
'''character''' : {'a','b','c',...}
'''symbol''' : {'''x''','''y''',...}
'''⊥''' is the '''undefined''' value, or '''bottom'''. Sequences are ''bottom-preserving'':
⟨'''x'''<sub>1</sub>,...,'''⊥''',...,'''x'''<sub>n</sub>⟩ = '''⊥'''
| |||