Problema: AiBjAmBn (PDA)

Defina um autómato de pilha determinista aibjambnPDA que reconheça a seguinte linguagem:

ⁱ

ⁿ

Nota: A condição n≤m é redundante pois deduz-se das outras.

(Extraído do exame de LFA 2005/06, 28/Jun/2006, pergunta 3b).)

Formato do input

A sua submissão deve consistir numa declaração de autómato de pilha determinista, com o nome pedido.

Para exemplificar, eis a declaração dum outro autómato de pilha sobre o mesmo alfabeto:

pda(abPDA,
    p,                             % estado inicial
    z,                             % simbolo inicial da pilha
    {p/z/a/p/[a,z], p/a/a/p/[a,a], % transicoes
     p/a/b/q/[],
     q/a/b/q/[],
     q/z/[]/t/[]
    },
    {t}                            % estados finais
   ).

Repare que a sintaxe aqui exigida é pouco diferente da usada nas aulas. Um conselho: resolva primeiro o problema à maneira das aulas e depois traduza para a sintaxe pretendida.

Por favor, não se esqueça do "ponto" no final da declaração.