.

FORMATO: DPyDE01

UNIVERSIDAD AUTNOMA DEL ESTADO DE HIDALGO

Divisin de Docencia Direccin de Planeacin y Desarrollo Educativo PROGRAMA ANALTICO DE ASIGNATURA Instituto
INSTITUTO DE CIENCIAS BASICAS E INGENIERIAS

Licenciatura en:
LICENCIATURA EN SISTEMAS COMPUTACIONALES

1.- Nombre de la asignatura:

LENGUAJES Y AUTOMATAS

2.- Semestre: SEXTO

3.- Carga horaria semanal: 3.1. Teora 5

3.2. Prctica 0

3.3. Total 5

3.4. Crditos 10

4.- Seriacin: 4.1. Asignatura antecedente

Lgica Matemtica (no seriada)

4.2. Asignatura consecuente

Compiladores (seriada) Inteligencia artificial (no seriada)

5.- Objetivo general de la asignatura:

Proporcionar los conceptos fundamentales de Autmatas y Gramticas formales que se emplean en las ciencias de la computacin.

6.- Unidades del programa

6.1
Nmero de Unidad

6.2
Temas, Subtemas y/o Tpicos que contiene el programa

6.3 Objetivos de la Unidad

El alumno conocer los fundamentos bsicos matemticos para adentrarse a la teora de la computacin.

6.4.

6.5 Nmero de Referencia

6.6 Tiempo estimado en horas por subtema

Horas Acumulado

Recursos didcticos necesarios

- Pizarrn - Libros - Sitios Web relacionados - Lenguajes de programacin - Manual de practicas

Bibliogrfica

FUNDAMENTOS MATEMATICOS 1.1 ANTECEDENTES HISTRICOS DE LA TEORIA DE LA COMPUTACION 1.2 CONCEPTOS DE LA TEORIA DE CONJUNTOS 1.3 RELACIONES Y FUNCIONES DISCRETAS 1.4 INDUCCION MATEMATICA 1.5 GRAFOS Y RBOLES 1.6 DEFINICION DE CADENAS, ALFABETOS Y LENGUAJES 1.6.1 CONCATENACION DE CADENAS 1.6.2 PREFIJOS Y SUFIJOS DE CADENAS I.7 DEFINICIN DE GRAMATICA FORMAL 1.8 JERARQUIA DE CHOMSKY 1.9 RELACIONES ENTRE GRAMATICAS, LENGUAJES Y AUTOMATAS

(1),(2),(3)

10

12.5%

6.- Unidades del programa

6.1
Nmero de Unidad

6.2
Temas, Subtemas y/o Tpicos que contiene el programa

6.3 Objetivos de la Unidad

Conocer y comprender la teora de los autmatas determinsticos, no determinsticos y de las expresiones regulares.

6.4.

6.5 Nmero de Referencia

6.6 Tiempo estimado en horas por subtema

Horas Acumulado

Recursos didcticos necesarios

- Pizarrn - Libros - Sitios Web relacionados - Lenguajes de programacin - Manual de practicas

Bibliogrfica

II

AUTOMATAS FINITOS Y GRAMATICAS REGULARES 2.1 DEFINICION DE AUTOMATA FINITO 2..2 AUTOMATA FINITO DETERMINISTICO Y NO DETERMINISTICO 2..3 EQUIVALENCIA ENTRE AFN Y AFD 2.4 AUTOMATA FINITO NO DETERMINISTICO CON TRANSICIONES EPSILON 2.5 EQUIVALENCIA ENTRE AFN CON EPSILON Y AFN 2.6 AUTOMATAS FINITOS Y EXPRESIONES REGULARES 2.7 APLICACIONES DE AUTOMATAS FINITOS 2.8 GRAMATICAS REGULARES AUTOMATAS DE PILA (PUSHDOWN) Y GRAMATICAS INDEPENDIENTES DEL CONTEXTO 3.1 DEFINICIN DE AUTOMATA DE PILA 3.2 AUTOMATAS DE PILA DETERMINISTICOS 3.3 AUTOMATAS DE PILA Y GRAMATICAS INDEPENDIENTES DEL CONTEXTO 3.4 REPRESENTACION Y SIMPLIFICACION DE GRAMATICAS INDEPENDIENTES DEL CONTEXTO 3.5 FORMA NORMAL DE CHOMSKY 3.6 FORMA NORMAL DE GREIBACH 3.7 DETERMINISMO Y PARSING

(1),(2),(3)

20

37.5%

III

Contar con el conocimiento sobre autmatas de pila y las - Pizarrn - Libros gramticas que stos - Sitios Web manipulan. relacionados - Lenguajes de programacin - Manual de practicas

(1),(2),(3)

20

62.5%

6.- Unidades del programa

6.1
Nmero de Unidad

6.2
Temas, Subtemas y/o Tpicos que contiene el programa

6.3 Objetivos de la Unidad

Contar con el conocimiento sobre autmatas linealmente acotados y las gramticas que stos manipulan, adems de conocer la definicin, tcnicas para la construccin y operacin de la mquinas conceptuales de Turing, como su versin no determinstica.

6.4.

6.5 Nmero de Referencia

6.6 Tiempo estimado en horas por subtema

Horas Acumulado

Recursos didcticos necesarios

- Pizarrn - Libros - Sitios Web relacionados - Lenguajes de programacin - Manual de practicas

Bibliogrfica

IV

AUTOMATAS LINEALMENTE ACOTADOS, GRAMATICAS DEPENDIENTES DEL CONTEXTO Y MAQUINAS DE TURING. 4.1 DEFINICION DE AUTOMATA LINEALMENTE ACOTADO 4.2 OPERACIN DE AUTOMATAS LINEALMENTE ACOTADOS 4.3 AUTOMATAS LINEALMENTE ACOTADOS Y GRAMATICAS DEPENDIENTES DEL CONTEXTO 4.4 DEFINICION DE LA MAQUINA DE TURIN 4.5 TECNICAS PARA LA CONSTRUCCION DE LA MAQUINA DE TURING 4.6 OPERACIN DE LA MAQUINA DE TURING 4.7 EXTENSIONES DE LA MAQUINA DE TURING 4.8 MAQUINAS DE TURING NO DETERMINISTICAS 4.9 FUNCIONES NUMERICAS COMPLEJIDAD 5.1 COMPLEJIDAD DE LOS CALCULOS 5.2 COMPLEJIDAD DE LOS ALGORITMOS 5.3 COMPLEJIDAD DE LOS PROBLEMAS 5.4 COMPLEJIDAD TEMPORAL DE LOS PROBLEMAS DE RECONOCIMIENTO DE LOS LENGUAJES 5.5 COMPLEJIDAD TEMPORAL DE

(1),(2),(3)

20

87.5%

El alumno conocer y ser capaz de analizar la complejidad de algoritmos y problemas de diverso tipo.

- Pizarrn - Libros - Sitios Web relacionados - Lenguajes de programacin - Manual de practicas

(1),(2),(3)

10

100%

MAQUINAS NO DETERMINISTICAS

7.- Estrategias de enseanza-aprendizaje:

- Exposicin oral - Solucin de problemas tericos en clase - Ejercicios extraclase a realizar por el alumno - Uso de lenguaje de programacin - Bsqueda de temas relacionados en Internet - Consulta de bibliografa

8.- Formas de evaluacin:

- Exmenes escritos - Ejercicios extraclase - Programas de practicas - Investigaciones tericas

9.- Bibliografa: BSICA:

(1) JOHN E. HOPCROFT; JEFFREY D. ULLMAN INTRODUCCION A LA TEORIA DE AUTOMATAS, LENGUAJES Y COMPUTACION EDITORIAL CECSA MEXICO. 1996 (2) J. GLENN BROOKSHEAR TEORIA DE LA COMPUTACION. LENGUAJES FORMALES, AUTOMATAS Y COMPLEJIDAD EDITORIAL ADDISON-WESLEY IBEROAMERICANA U.S.A. 1993 (3) GARCIA, P.; PEREZ, T.; RUIZ, J.; SEGARRA, E.; SEMPERE, J. M.; VAZQUEZ DE PARGA, M. TEORIA DE AUTOMATAS Y LENGUAJES FORMALES EDITORIAL ALFAOMEGA MEXICO. 2001

COMPLEMENTARIA:
KELLEY, D. TEORIA DE AUTOMATAS Y LENGUAJES FORMALES EDITORIAL PRENTICE-HALL.1995 SUDKEMP, T. A. INTRODUCTION TO THE THEORY OF COMPUTER SCIENCE EDITORIAL ADDISON-WESLEY. 1988 DROBOT, V. FORMAL LANGUAGES AND AUTOMATA THEORY EDITORIAL COMPUTER SCIENCE PRESS. 1989. COHEN, D. INTRODUCTION TO COMPUTER THEORY EDITORIAL JOHN WILEY & SONS. 1988.

UNIVE
RSIDAD

AUTN
10.- Perfil profesiogrfico:
Profesional con perfil informtico con conocimientos de matemtica discreta y familiaridad con el uso del lenguaje matemtico.

11.- Nombres de quienes elaboraron el programa

M. en C. Silvia Soledad Moreno Gutirrez. Lic. en Comp. Isaas Prez Prez. I.S.C. Edgar Olgun Guzmn.

12.- Fecha de ltima actualizacin

Abril de 2005