Sei M$=($Z$,\backslash$Sigma $,\backslash$Gamma $,\backslash$delta $,$q$0,$#$)$

ein beliebiger PDA $($also ein ES$-$PDA$).$ Welche Aussagen sind wahr f$$r alle solche M

und beliebige x$=$x$1...$xn in $\backslash$Sigma $$

$?$