Essentials Of Computer Organization And Architecture 4th Edition by Linda Null,Julia Lobur

Exercise 67

Using the lemma that two FSMs are equivalent if and only if they produce the same output from the same input strings, show that Moore and Mealy machines are equivalent.