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