RZA a ZA jsou ekvivalntní
Tvrzení: Pro každý RZA M existuje takový ZA M’, pro který platí: L(M)f = L(M’)f.
Illustrace:
=
Třída jazyků přijímaných RZA
Třída jazyků přijímaných ZA
Důkaz: viz. str. 419 v knize [Meduna: Automata and Languages]
38/50