State Decomposition
OR-States have sub-states that are related to each other by exclusive-or
AND-States have orthogonal state components (synchronous FSM composition)
- AND-decomposition can be carried out on any level of states (more convenient than allowing only one level of communicating FSMs)
Basic States have no sub-states (bottom of hierarchy)
Root State : no parent states (top of hierarchy)