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.


1
gracioso. normalmente uno quiere al revés :)
Suresh Venkat

mmm. Atribuiría esa prueba a Chomsky, Evey y Schützenberger.
Hendrik Jan

Respuestas:


Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.