Values, variables and state.
- Collection Val of values.
- Algorithms manipulate data.
- Numbers, strings, sets.
- Infinite set Var of variable names.
- Algorithms assign values to variables.
- A state assigns values to variables.
- in St = Var -> Val.
- [[]] := .
- [[]] in St -> Val.
- Semantic meaning [[]] of syntactic object .