I created a state-transition diagram for the Mealy machine below. but I wasn't sure if it was correct. The part that confused me was that s1 has no edges.

enter image description here

  • \$\begingroup\$ Aren't you missing loops on S1 to show it's outputs? \$\endgroup\$ Feb 28, 2018 at 13:23

1 Answer 1


It does have edges — the last two lines of the table — you simply haven't drawn them. They loop back to itself, just like the 0/0 edge does on the S0 state.

  • \$\begingroup\$ The goal wasn't to draw the state machine. I wanted to create the state transition diagram for it. So should I just erase the last two lines? \$\endgroup\$
    – ofr13
    Feb 28, 2018 at 13:31
  • 2
    \$\begingroup\$ The "diagram" is on the left, the "table" is on the right. There is a one-to-one correspondence between edges (arrows) in the diagram and lines in the table. You either need to add two edges in the diagram or delete two lines from the table. \$\endgroup\$
    – Dave Tweed
    Feb 28, 2018 at 14:14

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.