| || || |
An interval is a (in)finite sequence of states
Let denote the set of all possible non-empty finite intervals. Let denote the set of infinite intervals. [2mm] The length of an interval is denoted by and is the number of states minus 1.
Static vs State Variables
State variables are denoted by capital first symbols and static variables are denoted by small symbols.
Example 6 Let be an interval where
is a state variable and is a static variable.
Let be an interval then
Example 7 Let be an interval then
| || |