Hallo ugemt,
der angegebene Kellerautomat:
$$A = \{ \{ a, b \} , \{ s_0, s_1,s_2, se \}, \{ k_0, a, b \} , \delta , s_0, k_0 , \{ s_e \} \} $$
$$ \delta : \{ (s_0, a, k_0) ->(s_0 . ak_o ) $$
$$ (s_0, a,a ) ->(s_0 , a) $$
$$ (s_0, b ,a) ->(s1, \lambda) $$
$$(s_1, \lambda, k_0) ->(s_e, k_0) $$
$$ (s_1, a, k_0 ) ->(s_0, ak_0) \} $$
ist nicht richtig, da dieser nicht unterscheiden kann, ob ein $a$ oder mehrere $a$ kommen ( $(s_0, a,a ) ->(s_0 , a) $ ). Somit akzeptiert er auch Woerter, die nicht Teil der Sprache sind.
Weiterhin viel Erfolg,
Marvin (Tutor)