The condition end_time_reached is a continuous event flow used in a guard for two transitions of the Mealy machine.
If a Mealy machine has many states or must react to many events, it may be impractical to draw an STD for it.
In general, for every Mealy machine there is a Moore machine that has the same input-output behavior and vice versa [Hopcroft and Ullman 1979, p.
In Statemate, a statechart corresponds to a control activity in an activity chart, just as in YSM a Mealy machine corresponds to a control process in a DFD.
In YSM, the DFD would have to specify a separate control process, with its own Mealy machine, corresponding to the MONITOR_PRESSURE process in Figure 28.
A continuing control process is specified by a Mealy machine (STD or state transition table).
For each entity type in the ERD, an entity state diagram can be defined, which is a Mealy machine that regulates the accesses made to the instances of the entity type.
The language of statecharts is considerably richer than the Mealy machine notation used in other methods of structured analysis.
He then works through an analysis of synchronous sequential machines including sequential circuits and methods of analysis, the synthesis of synchronous sequential machines, including Moore and Mealy machines
, analysis of asynchronous sequential machines, synthesis of asynchronous sequential machines, and pulse-mode asynchronous sequential machines.