Otázka:
Je
M
1
ekvivalentní s
M
2
?
Ekvivalentní modely
Definice:
Dva modely pro popis formálních
jazyků (např. končené automaty) jsou
ekvivalentní, pokud specifikují tentýž jazyk.
Příklad:
M
1
:
M
2
:
a
s
s
f
a
a
Odpověď:
M
1
a
M
2
jsou ekvivalentní
, protože
L
(
M
1
) =
L
(
M
2
) = {
a
n
:
n
³
0}
20
/2
9