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

• Guillermo Roberto Solarte Martínez ^[1] ; Luis Eduardo Muñoz Guerrero ^[2] ; Camilo Muñoz Albornoz
  1. [1] Universidad Pontificia de Salamanca

     Universidad Pontificia de Salamanca

     Salamanca, España

     
  2. [2] Universidad Nacional de Bogotá
• Localización: Prospectiva, ISSN-e 2216-1368, ISSN 1692-8261, Vol. 18, Nº. 2, 2020
• Idioma: español
• Títulos paralelos:
  • Method for calculating director symbols in a free context grammar
• Enlaces
  • Texto completo (pdf)
• Resumen
  • español

    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 LL1especificando 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 este 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 sila gramática es o no del de tipo LL1.Por último,las pruebas realizadas con diferentes tipos de gramáticas fueron contundentes, satisfactorias y reflejaron los resultados esperados.

  • English

    The main objective of this investigation is to develop a method that allows the creator of languages to decide if the grammar fulfills with the necessary and enough condition for that a clean grammar be of the type LL1 specifying that the groups of managing symbols corresponding to the different expansions of each symbol non terminal are disjointed. To reach this objective it is methodologically appropriate to advance in several well differentiated aspects. First, the analysis and design of the application is approached inside the methodologies defined in the field of structures of data, programming languages, artificial intelligence, and algorithm. In second instance, it is important to highlight that an algorithm exists to determine this type of grammarians. To implement this algorithm in this tool a series of steps are followed sequentially that consume enough time of manual analysis; therefore, the steps and the implicit algorithms of each one are systematized allowing to diminish the time of the analyses, to increase their efficiency and at the end to verify if the grammar is or is not of type LL1, finally the tests carried out with different types of grammarians were convincing, satisfactory and they reflected the expected results.