takze ten zasobnikovy automat (4.7) som mal takto:
(q0, λ, Z, qf, λ)
(q0, c, Z, q2, λ)
(q0, a, Z, q0, aZ)
(q0, a, a, q0, aa)
(q0, b, a, q1, λ)
(q1, b, a, q1, λ)
(q1, λ, Z, qf, λ)
(q1, c, Z, q2, λ)
(q2, c, Z, q2, λ)
(q2, λ, Z, qf, λ)
toto by malo byt ono... logicky by mal obsahovat 3 rozne koncove stavy kedze a^n b^n c^m take ze n>=0 a m>=0 tak mozu byt slova take ze a..ab..bc..c alebo a..ab..b alebo c..c alebo aj prazdne slovo...