A Mealy machine is a state machine where the outputs are a function ... Pressman has several examples of state transition diagrams used to document the design of a software product. Figure 1 shows a ...