Método para el cálculo de símbolos directores en una gramática de contexto libre

Resumen

El objetivo fundamental de esta investigación es desarrollar un método que permita al creador de lenguajes decidir si la gramática cumple con la condición necesaria y suficiente para que una gramática limpia sea del tipo LL [1] . Especificando que los conjuntos de símbolos directores correspondientes a las diferentes expansiones de cada símbolo no terminal son disjuntos. Para alcanzar dicho objetivo es metodológicamente adecuado avanzar en varios aspectos bien diferenciados. Primero, el análisis y diseño de la aplicación se aborda dentro de las metodologías definidas en el campo de estructuras de datos, lenguajes de programación, inteligencia artificial, y algoritmia. En segunda instancia, es importante resaltar que existe un algoritmo para determinar este tipo de gramáticas. Para implementar dicho algoritmo en esta método se sigue secuencialmente una serie de pasos que consumen bastante tiempo de análisis manual; por lo tanto los pasos y los algoritmos implícitos de cada uno de ellos se sistematizan permitiendo disminuir el tiempo de los análisis, aumentar su eficiencia y al final verificar sí la gramática es o no del de tipo LL[1].Por último las pruebas realizadas con diferente tipos de gramáticas fueron contundentes, satisfactorias y reflejaron los resultados esperados.