kann man den KA auch mit 4 Zustände definieren. bzw. mit s0, s1, s2, s3?
Voregehensweise:
beim Löschen vom "(" bzw "[" aus dem Keller vom s1 zum s2 umschalten und dann am Ende δ(s2, λ, k0) = (s3, k0).
dann haben wir aber 2 Endzustäne bzw. F={s0,s3}.
ein bisschen länger aber vlt. deutlicher (mindestens fällt mir solche Vorgehensweise besser ein).