A statechart without hierarchy is just a state machine. It's the composition and hierarchy that turns a state machine into a statechart.
Is the very first example not one without hierarchy and thus just a state machine?
Is the very first example not one without hierarchy and thus just a state machine?