Description Identifier Name [...] change the name [...] , the current state switches
interrupts the current [...] , the currently active state [...] the transition is run. User
keeps the name [...] . Therefore, user input [...] and specify a name