The Mealy model state diagram is different from the Moore model.
The output is associated with the transition, rather than the state, as
shown in Figure 6.4. Each path has a double label: the input causing the
transition, followed by a slash and the output that occurs when the system
is in that state and that is the input. Thus, from state A, the path to
state B is labeled 1/0, meaning that that path is followed when x 1, and
the output produced is 0.