<Tr> <Th> Input Z </Th> <Td>... </Td> <Td>... </Td> <Td>... </Td> </Tr> <P> The Unified Modeling Language has a notation for describing state machines . UML state machines overcome the limitations of traditional finite state machines while retaining their main benefits . UML state machines introduce the new concepts of hierarchically nested states and orthogonal regions, while extending the notion of actions . UML state machines have the characteristics of both Mealy machines and Moore machines . They support actions that depend on both the state of the system and the triggering event, as in Mealy machines, as well as entry and exit actions, which are associated with states rather than transitions, as in Moore machines . </P> <P> The Specification and Description Language is a standard from ITU that includes graphical symbols to describe actions in the transition: </P> <Ul> <Li> send an event </Li> <Li> receive an event </Li> <Li> start a timer </Li> <Li> cancel a timer </Li> <Li> start another concurrent state machine </Li> <Li> decision </Li> </Ul>

What is finite state machine what are the elements of fsm