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

Improve this question
$\endgroup$
1
  • 3
    $\begingroup$ What do you mean by "State Transition Diagram for XOR"? $\endgroup$ Commented Apr 15, 2019 at 15:54

1 Answer 1

Reset to default
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).

Improve this answer
$\endgroup$

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.