State and Statements
State and Statements
- Consider symbolic state vector:
(serial (statement A) (statement B) (parallel (statement C) (serial (statement D) (statement E) )))
State Statements Number Executed
1 A 2 B 3 C 3.1 D 3.2 E
- Every time (serial (parallel (serial occurs, pLevel++; stateVector[pLevel] becomes current.
EE290H, Fall 85