Modely pro regulární jazyky
Důkaz je založen na předchozím algoritmu.
Tvrzení: Pro každý RV r existuje KA M,
pro který platí: L(r) = L(M).
Důkaz: viz. str. 210 v
knize [Meduna: Automata a Languages]
Tvrzení: Pro každý KA M existuje RV r,
pro který platí L(M) = L(r).
Závěr: Fundamentální
modely pro regulární jazyky jsou:
1) Regulární výrazy
2) Konečné automaty
29/29