Equivalence Problem: Example
Question: L(M1) = L(M2)?
a
Elipsa: f
f
s
q
b
a
a
b
M1:
a
q
b
a
a
p
s
b
b
M2:
A minimum state FA
b
a
b
b
{f}
a
{s,q}
Mmin1:
a
b
b
{p,q}
a
{s}
Mmin2:
Answer: YES because Mmin1 coincides with Mmin2
26/26