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.
1
gracioso. normalmente uno quiere al revés :)
—
Suresh Venkat
mmm. Atribuiría esa prueba a Chomsky, Evey y Schützenberger.
—
Hendrik Jan