RZA
a
ZA
jsou ekvivalntní
Tvrzení
:
Pro každý RZA
M
existuje takový ZA
M
’,
pro který platí:
L
(
M
)
f
=
L
(
M
’
)
f
.
Illustra
ce
:
=
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