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