   
 10 Semantic PreliminariesAn interval is a (in)finite sequence of states Let denote the set of all possible nonempty 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. Example 5
_____________________________________________________________________ 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
_____________________________________________________________________
  

 