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