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.
Respuestas:
jflap es bastante agradable y puede hacer esto. Ver aquí: http://www.cs.duke.edu/csed/jflap/ .
fuente