Portada

Agradecimientos

Resumen

Capítulo 1.  Introducción

  • 1.1 Historia
  • 1.2 Conceptos preliminares
  • 1.3 ¿Por qué programación funcional?

Capítulo 2.  La teoría de tipos de Martin-Löf

  • 2.1 Introducción
  • 2.2 Las reglas del sistema
  • 2.3 Conjuntos y proposiciones como tipos
  • 2.4 Los números naturales
  • 2.5 Tipos de funciones
  • 2.6 Comentarios finales

Capítulo 3.  El Chart Parser

  • 3.1 Introducción
  • 3.2 La gramática
  • 3.3 El análisis sintáctico
  • 3.4 El Bottom-up Chart Parser
  • 3.5 El Chart
  • 3.6 La regla fundamental
  • 3.7 Inicialización del Chart
  • 3.8 La regla Bottom-Up
  • 3.9 Condición de salida y otros cuidados
  • 3.10 Consideraciones de eficiencia

Capítulo 4.  Implementación de un chart parser simple

  • 4.1 Los símbolos de la gramática
  • 4.2 La gramática
  • 4.3 El árbol
  • 4.4 Las funciones de identidad
  • 4.5 El chart
  • 4.6 La regla bottom-up
  • 4.7 La regla fundamental
  • 4.8 El Chart inicial

Capítulo 5.  Resultados y conclusiones

Referencias

Apéndice A.  Manual del usuario

Apéndice B.  Listados

Apéndice C.  Solución al problema de la igualdad

Acosta Guadarrama, J. C. 1996. Implementación de un analizador sintáctico en la teoría de tipos de Martin-Löf. Tesis Licenciatura. Ingeniería en Sistemas Computacionales. Departamento de Ingeniería en Sistemas Computacionales, Escuela de Ingeniería, Universidad de las Américas Puebla. Diciembre. Derechos Reservados © 1996.