2
$\begingroup$

I have found two different versions for State Transition Diagrams for XOR.

I'm confused as to why one has 2 states and the other has 3. What are the implied states in each please?

Are they both functionally equivalent? Are there situations where one is more appropriate than the other?

enter image description here enter image description here

$\endgroup$
  • 3
    $\begingroup$ What do you mean by "State Transition Diagram for XOR"? $\endgroup$ – Yuval Filmus Apr 15 at 15:54
2
$\begingroup$

On the left you have a DFA that accepts the language of all strings over $\{0,1\}$ in which the XOR equals 1.

On the right you have a Mealy machine in which each output is the XOR of the two recent inputs (the first output is always zero).

$\endgroup$

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.