A state in a state machine which is equivalent to a composite state but its contents are described by another state machine.