5. Autómatasde Pila.5.1 Definición.

4. Gramáticasindependientesde contexto.4.1 Definicióny notación.4.2 Jerarquíade Chomsky.4.3 DerivacionesIzquierday derecha.4.4 Lenguajede una gramática.4.5 Árbolesde derivación.4.6 Aplicacionesde las gramáticasindependientesde contexto.4.7 Ambigüedaden las gramáticasy lenguajes.4.8 Gramáticasregulares.

3. Expresionesy LenguajesRegulares.3.1 Expresionesregulares.3.2 Autómatasfinitos y expresionesregulares.3.3 Aplicacionesde las expresionesregulares.3.4 Álgebrapara las expresionesregulares.3.5 Lemadel bombeo.3.6 Propiedadesde la clausura.

2. Autómatasfinitos.2.1 Definicióny propiedades.2.2 Estructurageneral.2.3 Diagramasde transiciones.2.4 Autómatasfinitos deterministas (AFD).2.5 Autómatasfinitos no deterministas (AFN).2.6 Autómatasfinitos con transicionesépsilon.2.7 Eliminaciónde las transicionesépsilon.2.8 Equivalenciasentre AFNy AFD.2.9 Minimizaciónde un AFD.

1. Introducción.1.1 Introducción a los autómatasfinitos.1.2 Autómatasy complejidad.1.3 Conceptoscentralesde la teoría de autómatas.1.4 Gramáticasformales.

Proporcionar conocimientos sobre modelos de máquinas computacionalesy teoría de la computación, así como susrespectivoslenguajesy gramáticasformales; facilitando su diseñoe implementaciónde aplicacionesreales.

OBJE"IlVQCS) GENE~LrES)DELA ASlGNATURA"

85TerceroSEMESTRE TQJ'AL ÓE HORAS

00033

PROGRAMA DE ESTUDIOS

Universidad Tecnológica de la MixtecaClave DGP: 200089

Ingeniería en Computación

... J( A e

.-_

OOD3~

Consulta:1. Introduction to Algorithms(2d Ed). Cormen,Thomas H.; Leíserson, CharlesE.; Rivest, Ronald L.; Stein, Clifford.

The Mit Press.2001.2. Autómatas Compiladores: Principios, técnicas y herramientas. Aho; A1fredV., Sethi; Ravi, Ullman; Jeffrey D.

Pearson.1998.

2.3.4.5.6.

Básica:1. Introducción a la Teoríade Autómatas, Lenguajesy Computación(2d Ed). Hopcroft, Motwan & Ullman. Addison

Wesley.2002.Teoríade Autómatasy LenguajesFormales.DeanKelley.PrenticeHall. 1995.Introduction to the theory of computation (2d Ed). Sipser,Michael.CourseTechnology.2006.Automata theory with modem applications.Anderson,JamesA. CambridgeUniversityPress.2006.Automataand computability.DexterC. Kozen.Springer.1997.Computability,complexity, and languages.Davis, M. D.; Sigal, R.,Weyuker,Elaine.MorganKaufmann,AcademicpressprofessionaJ.1994.

'.y. ".,.

Para aprobar el curso se realizarán tres evaluaciones parciales (50 OJo) Yuna evaluaciónfinal (50%). Paracadaevaluaciónse realizará un examen y se evaluarán tareas y proyectos. El examen tendrá un valor mínimo de 50% y las tareas yproyectosun valor máximode 50%.

CRITERIOS y PROCEDIMIENTOS DE EVAlUACION y ACREDITACIÓN .

Sesiones dirigidas por el profesor. Las sesiones se desarrollarán utilizando medios de apoyo didáctico como son lacomputadora portátil, dispositivos de plataformas de ejemplo yel proyector de video. Asimismo, se desarrollarán programasde cómputo sobre los temas y los problemas del curso.

ActIVIDADES DE APRENDIZAJE

7. Máquina de Turing.7.1 Definiciones básicas.7.2 Máquinas de Turing como aceptadores de lenguajes.7.3 Construcción de máquinas de Turing.7.4 Hipótesis de Turing - Church.7.5 Máquina de Turing universal.7.6 Introducción a los lenguajes decidibles.7.7 El problema de paro.

6. Propiedades de los lenguajes independendientes de contexto.6.1 Formas normales para gramáticas independientes del contexto (GIC).6.2 Lema del bombeo para lenguajes independientes del contexto (LlC).6.3 Propiedades de la clausura de los LlC.6.4 Propiedades de decisión del los LlC.

5.2 Notación gráfica.5.3 Lenguajes aceptados por un autómata de pila.5.4 Equivalencia entre autómatas de pila y gramáticas libres de contexto.5.5 Autómatas de pila deterministas CAPO).

V¡CE~RECTORIAACADÉMICAJEFATURA DECARRER~

rNGENIERlA EN'COMPlITACION

'-, o.~~~~~~#E ALEJANDRO LÓPEZ lÓPEZ

JEFE DE CARRERA

....

Ingeniero en Computación o en Sistemas Computacionales con maestría o doctorado en computación .PERFIL PROfESIONAL Da DOCENTE

00035