Autómatos de pilha
31 Outubro 2018, 09:30 • André Souto
Definição e motivação para os autómatos de pilha.
Definição formal de autómato de pilha.
Exemplos.
Noção de configuração num autómato de pilha.
Noção de derivação e computação num PDA.
Linguagem reconhecida por um PDA.
Equivalência entre PDA e gramáticas livres de contexto.
Exemplos de construção.
Estudar secção 2.2 do Sipser.