Question: Is M1 equivalent to M2 ?
Equivalent Models
Definition: Two models for languages, such as FAs, are equivalent if they both specify the same language.
Example:
M1:
M2:
a
s
s
f
a
a
Answer: M1 and M2  are equivalent because
   L(M1) = L(M2) = {an: n ³ 0}
20/29