standard says: When the state machine reaches the <final> child of an <scxml> element, it must terminate
standard says:
When the state machine reaches the child of an element, it must terminate