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.


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:


Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.