Documentos de Académico
Documentos de Profesional
Documentos de Cultura
PRESENTACION
Este curso es un contacto importante con las nociones y conceptos del proceso computacional o proceso
algortmico. Forma las bases para los cursos de complejidad y compiladores. Incluye el estudio de tcnicas de
reconocimiento de patrones, procesos bsicos computacionales, anlisis lxico y sintctico, as como una base para
computabilidad.
OBJETIVOS GENERALES.
Proporcionar al estudiante la base cientfica para resolver problemas importantes dentro de la lgica algortmica,
fundamentales para la construccin de compiladores.
OBJETIVOS ESPECIFICOS.
Que el estudiante se introduzca en el anlisis lxico, como mtodo de solucin de problemas de renacimiento de
patrones.
Que el alumno cuente con una idea bsica de procesos computacionales.
1. Unidad Lenguaje
1.1 Definicin de lenguaje, orientada a la formalidad, operaciones con lenguajes.
1.2 Conceptos bsicos orientados a la teora de compiladores.
1.3 Terminologa asociada a la definicin conceptual de lenguaje.
1.4 Esquema y simbologa de definicin de lenguaje.
4. Unidad Gramticas.
4.1 Conceptos bsicos.
4.2 Definicin formal.
4.3 Convenciones de notacin.
4.4 Notacin simplificada.
4.5 Lema de Arden.
4.6 Derivaciones, rboles de direvacin.
4.7 Lenguaje generado por una gramtica.
4.8 Diseo de gramticas. Tcnicas para el diseo de gramticas. Modularidad de las gramticas.
Lmites de las gramticas.
4.9 Diseo arbitrario de gramticas.
4.10 Primer acercamiento a la jerarqua de Chomsky para gramticas.
4.11 Gramtica regular implementada en un autmata finito no determinista.
EVALUACIN
BIBLIOGRAFIA
Libro de Texto
Teora de Autmatas y Lenguajes Formales", Dean Kelley. Ed. Prentice Hall, 1995.
Hopcroft, John y Jeffey Ullman, Introduccin a la Teora de Autmatas, Lenguajes y Computacin. CECSA,
tercera reimpresin, Mxico 1997
Compiladores. Principios, tcnicas y herramientas, Aho A.V., Sethi R,. & Ullman J.D. Ed: Addison Wesley
Iberoamericana. 1990.