Pushdown Automata (PDA)

Question

Я пытаюсь написать кпк магазинного автомата, которые принимают^2п Ь^п, п> 0 , но я не уверен, если последняя часть является правильным

(p0, a, z0) = (p0, az0) 
(p0, a, a) = (p0, aa) 
(p0, b, a) = (p1, λ) 
(p1, λ, b) = (p2, λ) <= 
(p2, 0, b) = (p1, λ) <= 
(p2, λ, z0) = (p3, λ) <= 

Answer 1

Что касается вашего ответа, то в первые два шага вы нажимаете только один шаг. При текущем дизайне машина будет принимать aaabb, который не имеет вид a^2nb^n. Поэтому лучше разделить его на два состояния отдельно. По мне правильный ответ может быть что-то вроде:

1. (р0, а, z0) = (p0, aZ0)
2. (р0, а, а) = (p1, аа)
3. (р1, а, а) = (р0, аа)
4. (p1, B, A) = (р2, λ)

Answer 2

Детерминированная оттолкнуть автоматы для^2nb^пп> = 0
байпаса altetnate a и push rest of a's