Algoritmo de conversión de una gramática libre de contexto a un autómata de pila

Resumen

Las Gramáticas Libres de Contexto (GLC) son fundamentales en la teoría de la computación tienen diversas aplicaciones en esta área, tales como: Análisis de lenguajes formales, desarrollo de Compiladores e Intérpretes, Procesamiento de Lenguaje Natural, Modelado de Estructuras, etc. Por lo tanto, el Ingeniero en Sistemas Computacionales deberá tener una base sólida para abordar la variedad de desafíos a los cuales se enfrentará. Sin embargo, las GLC presentan ciertas problemáticas, siendo la principal la dificultad para analizarlas, así como la ambigüedad que presentan. Es aquí donde entra el ADP, que al ser una estructura equivalente a la GLC, es igual de poderoso que ésta, con la diferencia de que son más fáciles de representar así como de analizar. Tomando como base esta idea, se propone desarrollar un algoritmo de conversión de GLC a ADP, donde el usuario proporcionará una GLC y el algoritmo regresará su ADP equivalente, con la finalidad de que el usuario pueda comprender mejor la relación entre ambas estructuras, así como saber que existe una alternativa a las GLC que es igual de útil pero con más flexibilidad. La dificultad de este proyecto está presente en generar un algoritmo óptimo y simple que pueda entender cualquier tipo de gramática para construir su ADP. Para esto se desarrolló e implementó un algoritmo con diferentes funcionalidades: por un parte interpreta gramáticas simples que se pueden resolver con autómatas finitos, correspondiente a los Lenguajes Regulares, pero también aquéllas que son por excelencia del tipo de libres de contexto, ambos niveles representados en la Jerarquía de Chomsky.