Existe algum conjunto de regras ou métodos para converter qualquer gramática livre de contexto em um autômato pushdown?
Eu já encontrei alguns slides online, mas não consegui entendê-los.
No slide 10, ele fala sobre algumas regras que alguém poderia explicar?
Respostas:
As regras reais para essa construção são apresentadas no slide 7 desta apresentação. A Wikipedia chama essas regras de "correspondência" e "expansão".
Os slides que você usa são de um curso de Jeff Ullman, ao que parece. (Um dos autores de um livro famoso sobre linguagens formais e autômatos). Ele também preparou um curso on - line sobre o assunto, onde acho que ele mesmo explicará os detalhes.
fonte