Ferramenta para converter PDAs em CFGs

8

Sabemos que todos os autômatos push-down são representáveis ​​usando gramáticas sem contexto. Além disso, existe um algoritmo para construir um CFG a partir de qualquer PDA (por exemplo, a prova de Sipser na introdução à teoria da computação).

Existem ferramentas que fazem essa tradução? Ou seja, eu posso colocar um conjunto de funções de transição e ele retornará um CFG equivalente.

Xodarap
fonte
1
engraçado. normalmente alguém quer o contrário :)
Suresh Venkat
mmm. Atribuiria essa prova a Chomsky, Evey e Schützenberger.
Hendrik Jan

Respostas: