Tesis doctoral de Jose Fortes Galvez
Desde la invención por donald knuth del análisis sintáctico lr(k) -el método práctico más potente que permite analizar el texto de entrada conforme va siendo leído-, un gran esfuerzo investigador se ha concentrado en desarrollar técnicas eficientes para abordar el problema del tamaño cuando k 1, que sin embargo no han sido consideradas suficientemente satisfactorias en la práctica, donde está firmemente establecido el más sencillo pero menos potente método lalr(1). esta tesis afirma que esta situación no es enteramente satisfactoria para la generación de analizadores para lenguajes de programación, y propone un enfoque nuevo discriminante inverso al análisis lr(k) completo, mediante la construcción de un autómata de estados finitos que explore el sufijo mínimo de la pila desde su cima para discriminar cada acción de análisis ascendente, cuya corrección y linealidad de tiempo de análisis se demuestran aquí formalmente. el método ha sido implementadoy evaluado para gramáticas prácticas, resultando en analizadores con potencia lr(1) completa considerablemente menores que los analizadores producidos por generadores basados en lalr(1), tales como yacc, y en un despreciable coste de exploración de la pila. elloha sido posible porque los analizadores clásicos directos construyen un reconocedor para el lenguaje completo desde la base a la cima de pilas más ventanas de prelectura, mientras que el analizador discriminante inverso utiliza típicamente unos pocos sómbolos de la cima de la pila más la ventana, donde se concentra la mayor parte de la información para el análisis, lo que era evidente para los primeros diseñadores de analizadores de precedencia.#
Datos académicos de la tesis doctoral «Analisis sintactivo discriminante inverso.«
- Título de la tesis: Analisis sintactivo discriminante inverso.
- Autor: Jose Fortes Galvez
- Universidad: Palmas de gran canaria
- Fecha de lectura de la tesis: 01/01/1999
Dirección y tribunal
- Director de la tesis
- Oliver Lecarme
- Tribunal
- Presidente del tribunal: igor Litovsky
- casiano Rodriguez leon (vocal)
- octavio Santana suarez (vocal)
- lucien Farre jacques (vocal)