Draw the state diagram for the state machine described by Table 7.5 in the text. Note, the table shows the transition to the next state S* from the current state S for the next set which is one of the five possible states: INIT, A0, A1, OK0 and OK1 for the two inputs A and B.
Table 7-5 State and output table
present
state
S 00 01
INIT A0 A0
A0 OK0 OK0
A1 A0 A0
OK0 OK0 OK0
OK1 A0 OK0