Propriedades de fecho das linguagens livres de contexto

5 Novembro 2019, 09:30 André Souto

Equivalência entre PDA e CFG: Construção e esquisso da prova que um PDA pode ser transformado numa CFG equivalente.

Propriedades de fecho de linguagens livres de contexto:
Prova que toda a linguagem regular é reconhecível por um PDA. Exemplo.
Prova que o conjunto das linguagens livres de contexto é fechado para união, concatenação e fecho de Kleene.

Estudar a secção 2.2 do Sipser.