Herramienta para traducir PDA a CFG

8

Sabemos que todos los autómatas push down son representables utilizando gramáticas libres de contexto. Además, existe un algoritmo para construir un CFG a partir de cualquier PDA (por ejemplo, la prueba de Sipser introducida a la teoría de la computación).

¿Hay alguna herramienta que haga esta traducción? Es decir, puedo poner un conjunto de funciones de transición y devolverá un CFG equivalente.

Xodarap
fuente
1
gracioso. normalmente uno quiere al revés :)
Suresh Venkat
mmm. Atribuiría esa prueba a Chomsky, Evey y Schützenberger.
Hendrik Jan

Respuestas: