PROGRAMA ANAL?

TICO DE ASIGNATURA
UNIVERSIDAD AUTNOMA DEL ESTADO DE HIDALGO
COORDINACIN DE DOCENCIA DIRECCIN DE PLANEACIN Y DESARROLLO EDUCATIVO

1.- DATOS GENERALES

1.1 INSTITUTO: INSTITUTO DE CIENCIAS BASICAS E INGENIERIAS

1.2 1.3

LICENCIATURA: LICENCIADO EN SISTEMAS COMPUTACIONALES ASIGNATURA: LENGUAJES Y AUTOMATAS

1.4

Ubicacin de la Asignatura en el Plan de Estudios

Semestre SEXTO

rea de Formacin SOFTWARE DE BASE

Clave

1.5

Carga Horaria de la Asignatura y crditos

TERICA

SEMANAL
PRCTICA TOTAL TERICA

SEMESTRAL
PRCTICA TOTAL

Crditos
10

Elaborado por: Dra. Maritza Cceres Mesa

Mcs. Luis Rafael Snchez Arce

5 1.6

80

80

Nombre del profesor que elabor el programa

Fecha de elaboracin

L.C. ISAIAS PEREZ PEREZ

MAYO 22 DE 2001

2.- PAPEL DE LA ASIGNATURA EN EL PLAN DE ESTUDIOS

Esta materia proporcionar las bases tericas matemticas para desarrollar y optimizar software de base, asi como desarrollo de compiladores en particular.

3.- SERIACIN DE LA ASIGNATURA A PARTIR DE LA CONGRUENCIA INTERNA DE LOS CONTENIDOS

ASIGNATURAS ANTECEDENTES ASIGNATURAS CONSECUENTES

Compiladores

Elaborado por: Dra. Maritza Cceres Mesa

Mcs. Luis Rafael Snchez Arce

4.- INTENCIN EDUCATIVA DE LA ASIGNATURA

4.1. OBJETIVOS GENERALES

-Proporcionar la base terica matemtica para desarrollar y optimizar software de base como son los compiladores. -Crear la habilidad y destreza para optimizar software de base. -Proporciona la base terica matemtica para el diseo de microprocesadores

Elaborado por: Dra. Maritza Cceres Mesa

Mcs. Luis Rafael Snchez Arce

5.- OBJETIVOS PARTICULARES DE LAS UNIDADES O TEMAS 5.1. NMERO Y TTULO DE LAS UNIDADES O TEMAS
UNIDAD I FUNDAMENTOS MATEMATICOS

5.2. OBJETIVOS PARTICULARES DE CADA UNIDAD O TEMA

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

UNIDAD II INTRODUCCION A LOS LENGUAJES FORMALES

Al finalizar la unidad el alumno estar familiarizado con los conceptos de gramticas y su clasificacin.

UNIDAD III AUTOMATAS FINITOS Y GRAMATICAS REGULARES

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

UNIDAD IV AUTOMATAS DE PILA (PUSHDOWN) Y GRAMATICAS INDEPENDIENTES DE CONTEXTO

Contar con el conocimiento sobre autmatas de pila y las gramticas que stos manipulan.

UNIDAD V AUTOMATAS LINEALMENTE ACOTADOS Y GRAMATICAS DEPENDIENTES AL CONTEXTO

Comprender los conceptos de autmatas linealmente acotados y sus gramticas.

UNIDAD VI MAQUINAS DE TURING

Conocer la definicin, tcnicas para la construccin y operacin de la mquinas conceptuales de Turing, adems de su versin no determinstica.

UNIDAD VII COMPLEJIDAD

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

6.- SISTEMA DE CONOCIMIENTOS DE LA ASIGNATURA NMERO DE LA UNIDAD

1

PLAN TEMTICO, (SUBTEMAS Y TPICOS DE CADA UNIDAD)

FUNDAMENTOS MATEMATICOS 1.1 REPASO DE LA TEORIA DE CONJUNTO 1.2 RELACIONES Y FUNCIONES DISCRETAS 1.3 INDUCCION MATEMATICA 1.4 GRAFOS Y ARBOLES 1.5 CADENAS, ALFABETOS Y LENGUAJES 1.5.1 DEFINICIONES 1.5.2 CONCATENACION DE CADENAS 1.5.3 PREFIJOS Y SUFIJOS DE CADENAS 1.6 ANTECEDENTES HISTRICOS DE LA TEORIA DE LA COMPUTACION INTRODUCCION A LOS LENGUAJES FORMALES 2.1 GRAMATICAS Y LENGUAJES 2.2 ARBOL DE DERIVACIONES 2.3 JERARQUIA DE CHOMSKY 2.4 GRAMATICAS, LENGUAJES Y AUTOMATAS AUTOMATAS FINITOS Y GRAMATICAS REGULARES 3.1 DEFINICIONES BASICAS DE AUTOMATAS FINITOS 3.2 AUTOMATA FINITO DETERMINISTICO 3.3 AUTOMATA FINITO NO DETERMINISTICO 3.4 EQUIVALENCIA ENTRE AFN Y AFD 3.5 AUTOMATA FINITO NO DETERMINISTICO CON TRANSICIONES EPSILON 3.6 EQUIVALENCIA ENTRE AFN CON EPSILON Y AFN 3.7 AUTOMATAS FINITOS Y EXPRESIONES REGULARES 3.8 APLICACIONES DE AUTOMATAS FINITOS 3.9 GRAMATICAS REGULARES Y NO REGULARES 3.10 LENGUAJES NO REGULARES AUTOMATAS DE PILA (PUSHDOWN) Y GRAMATICAS INDEPENDIENTES DE CONTEXTO 4.1 DEFINICION 4.2 OPERACIN DE UN AUTOMATA DE PILA 4.3 AUTOMATAS DE PILA DETERMINISTICOS 4.4. AUTOMATAS DE PILA Y LENGUAJES DE CONTEXTO LIBRE 4.5 DEFINICIONES DE GRAMATICAS INDEPENDIENTES DE CONTEXTO 4.6 OTRAS FORMAS DE REPRESENTACION DE GRAMATICAS INDEPENDIENTES DE CONTEXTO 4.7 SIMPLIFICACION DE GRAMATICAS INDEPENDIENTES DEL CONTEXTO 5

TOTAL DE HORAS

10

20

15

Elaborado por: Dra. Maritza Cceres Mesa

Mcs. Luis Rafael Snchez Arce

NMERO DE LA UNIDAD

PLAN TEMTICO, (SUBTEMAS Y TPICOS DE CADA UNIDAD)

TOTAL DE HORAS

4.8 FORMA NORMAL DE CHOMSKY 4.9 FORMA NORMAL DE GREIBACH 4.10 DETERMINISMO Y PARSING AUTOMATAS LINEALMENTE ACOTADOS Y GRAMATICAS DEPENDIENTES AL CONTEXTO 10 5.1 DEFINICION 5.2 OPERACIN DE AUTOMATAS LINEALMENTE ACOTADOS 5.3 AUTOMATAS LINEALMENTE ACOTADOS Y LENGUAJES DEPENDIENTES DEL CONSTEXTO 5.4 GRAMATICAS DEPENDIENTES DEL CONTEXTO 5.5 FORMAS NORMALES MAQUINAS DE TURING 15 6.1 DEFINICION DE LA MAQUINA DE TURIN 6.2 TECNICAS PARA LA CONSTRUCCION DE LA MAQUINA DE TURING 6.3 OPERACIN DE LA MAQUINA DE TURING 6.4 EXTENSIONES DE LA MAQUINA DE TURING 6.5 MAQUINAS DE TURING NO DETERMINISTICAS 6.6 FUNCIONES NUMERICAS COMPLEJIDAD 5 7.1 COMPLEJIDAD DE LOS CALCULOS 7.2 COMPLEJIDAD DE LOS ALGORITMOS 7.3 COMPLEJIDAD DE LOS PROBLEMAS 7.4 COMPLEJIDAD TEMPORAL DE LOS PROBLEMAS DE RECONOCIMIENTO DE LOS LENGUAJES 7.5 COMPLEJIDAD TEMPORAL DE MAQUINAS NO DETERMINISTICAS

7.- SISTEMA DE HABILIDADES 7.1. HABILIDADES GENERALES, DESARROLLAR LA ASIGNATURA

PRCTICAS

ESPECFICAS

QUE

FORMAR

- PROPORCIONA LAS BASES TEORICAS MATEMATICAS PARA DESARROLLAR Y OPTIMIZAR SOFTWARE DE BASE COMO SON LOS COMPILADORES.

Elaborado por: Dra. Maritza Cceres Mesa

Mcs. Luis Rafael Snchez Arce

8.- CONSIDERACIONES METODOLGICAS Y DE ORGANIZACIN DE LA ASIGNATURA 8.1. METODOS, FORMAS ORGANIZATIVAS Y RECURSOS DIDCTICOS PARA EL DESARROLLO DEL PROCESO DE ENSEANZA-APRENDIZAJE - EXPOSICION ORAL - SOLUCION DE PROBLEMAS TEORICOS EN CLASE - EJERCICIOS A REALIZAR POR EL ALUMNO - SOFTWARE - BUSQUEDA EN INTERNET - CONSULTA DE LIBROS

9. SISTEMA DE EVALUACIN DEL APRENDIZAJE

Elaborado por: Dra. Maritza Cceres Mesa

Mcs. Luis Rafael Snchez Arce

11

9.1. FORMAS DE EVALUACIN QUE ADOPTA LA ASIGNATURA.

- EXAMENES ESCRITOS - EVALUACION DE EJERCICIOS EXTRACLASE

10.- BIBLIOGRAFA NECESARIA PARA EL DESARROLLO DEL PROGRAMA

10.1. BSICA

10.2. COMPLEMENTARIA

Elaborado por: Dra. Maritza Cceres Mesa

Mcs. Luis Rafael Snchez Arce

13

10.- BIBLIOGRAFA NECESARIA PARA EL DESARROLLO DEL PROGRAMA

JOHN G. HOPCROFT; JEFFREY D. ULLMAN MARTIN D. DAVIS Y ELAINE J. WEYUKER. INTRODUCCION A LA TEORIA DE AUTOMATAS, LENGUAJES Y COMPUTABILITY, COMPLEXITY, AND LANGUAGES COMPUTACION EDITORIAL ACADEMIC PRESS, INC. EDITORIAL CECSA WOOD, D. BROOKSHEAR, J. G. THEORY OF COMPUTATION TEORIA DE LA COMPUTACION. LENGUAJES FORMALES, EDITORIAL WILEY, N.Y. 1987 AUTOMATAS Y COMPLEJIDAD EDITORIAL ADDISON-WESLEY. 1993 MA HARRISON INTRODUCTION TO FORMAL LANGUAGES KELLEY, D. EDITORIAL ADDISON-WESLEY, 1978 TEORIA DE AUTOMATAS Y LENGUAJES FORMALES EDITORIAL PRENTICE-HALL.1995

11.- PERFIL PROFESIOGRFICO

Elaborado por: Dra. Maritza Cceres Mesa

Mcs. Luis Rafael Snchez Arce

15

11.1. PERFIL IDEAL DEL PROFESOR QUE SE REQUIERE PARA IMPARTIR LA ASIGNATURA

PROFESIONAL CON PERFIL INFORMATICO CON CONOCIMIENTOS DE MATEMATICA DISCRETA Y FAMILIARIDAD CON EL USO DEL LENGUAJE MATEMATICO.