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