Introdução
Os aceitadores ou reconhecedores, das linguagens livres de contexto são os chamados autômatos de pilha ou ap's.
Usaremos aqui o modelo mais geral de autômato de pilha, o autômato de pilha determinístico, que consiste basicamente de um autômato finito não determinístico, com uma memória adicional, em forma de pilha. Numa pilha, símbolos novos só podem ser acrescentados no topo da pilha; apenas o último símbolo armazenado, o símbolo que se encontra no topo da pilha pode ser consultado; esse simbolo deve ser retirado para que os demais possam ser alcançados.
História do Projeto
O projeto representa um trabalho da disciplina de Teoria da Computação do 4º período do curso de Ciência da Computação da Universidade do Estado do Rio Grande do Norte.