Derivation of State Graphs and Tables: This Chapter in The Book Includes
Derivation of State Graphs and Tables: This Chapter in The Book Includes
X= 0 0 1 1 0 1 1 0 0 1 0 1 0 1 0 0
Z= 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 (14-1)
(time: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
Figure 14-2
©2010 Cengage Learning
When in state S1, if we receive a 0, the circuit must change
to a new state (S2) to remember that the first two inputs of
the desired sequence (101) have been received.
Figure 14-3
©2010 Cengage Learning
If a 1 is received in state S2, the desired input sequence
(101) is complete and the output should be 1. Since the last
1 in a sequence can also be the first 1 in a new sequence,
we should return to S1.
Figure 14-3
©2010 Cengage Learning
If a 1 input occurs when in state S1, we can stay in S1
because the sequence is simply restarted. If a 0 input
occurs in state S2, we have received two 0’s in a row and
must reset the circuit to S0 because 00 is not part of the
desired sequence.
Table 14-1
Table 14-1
Table 14-2
Figure 14-5
©2010 Cengage Learning
The procedure for finding the state graph for a Moore
machine is similar to that used for a Mealy machine, except
that the output is written with the state.
We will rework the previous example as a Moore machine:
the circuit should produce an output of 1 only if an input
sequence ending in 101 has occurred.
As with the
Mealy machine,
we can derive
the state and
transition tables
for the Moore
machine from
the state graph.
Figure 14-14: Complete State Graph for Example 1 ©2010 Cengage Learning
Example 2
A sequential circuit has one input (X) and two outputs(Z1 and
Z2). An output Z1 = 1 occurs every time the input sequence 100
is completed, provided that the sequence 010 has never
occurred. An output Z2 = 1 occurs every time the input
sequence 010 is completed. Note that once a Z2 = 1 output has
occurred, Z1 = 1 can never occur but not vice versa. Find a
Mealy state graph and table.
A typical sequence of inputs and outputs is:
A sequential circuit has two inputs (X1, X2) and one output (Z). The
output remains a constant value unless one of the following input
sequences occurs:
(a) The input sequence X1X2 = 01, 11 causes the output to become 0.
(b) The input sequence X1X2 = 10, 11 causes the output to become 1.
(c) The input sequence X1X2 = 10, 01 causes the output to change
value.