Deterministischer Kellerautomat erstellen, mit L={0m+2n 1m 0| n >= 0, m >0}, ist dies die richtige konfigurationsfolge?:

(S0,0,k0) - (S0,Xk0); (S0,0,X) - (S0,XX); (S0,0,X) - (S1,X); (S1,0,X) - (S1,X); (S1,1,X) - (S2, Ɛ); (S2,1,X) - (S2, Ɛ); (S2, Ɛ,k0) - (S3,k0).

Grüße Arthur