Tři
typy přijímaných jazyků: Ekvivalence
Tvrzení:
•L = L(Mf)f pro
RZA Mf Û L = L(Mfe)fe pro RZA Mfe
•L = L(Me)e pro RZA Me Û L = L(Mfe)fe pro RZA Mfe
•L = L(Mf)f pro
RZA Mf Û L = L(Me)e pro RZA Me
Pozn. Existují algoritmy pro následující převody:
RZA Mfe, který přijímá L přechodem do koncového stavu a vyprázdněním zásobníku
RZA Mf , který přijímá L přechodem do konc. st.
RZA Me, který
přijímá L vyprázdněním zásobníku
37/50