• Author / Uploaded
• Lineth

Citation preview

C.1. - DATOS GENERALES

CODIGO: IS-2200

1. TEORIA DE AUTOMATAS PREREQUISITO: IS-2000

2-- Carrera : Ingeniería en Sistemas 3.- Año 2012 4.- Turno Matutino, Vespertino y Nocturno 5.- Modalidad: Presencial Tiempo de clase: 90 horas 6.- Número de horas por semana: 3 Horas teóricas: 20 Horas prácticas: 25 Horas de auto estudio: 45 7.- Cuatrimestre: Sexto Asignatura prerrequisito : IS-2000 Autor (es) Fecha de aprobación

Firma

Sello

Fecha de autorización DESCRIPCIÓN La asignatura de Teoría de Autómatas es una materia propia de la ingeniería en sistemas. Ella contempla el estudio de los conceptos, características y elementos que conforman el lenguaje y los autómatas dentro de la ingeniería en sistemas, esto le permite al educando comprender con mayor precisión la creación de microprogramas en un lenguaje específico y bajo condiciones claras. C.2.- OBJETIVOS  Familiarizar a los educandos con el significado y utilidad de los diseños de algoritmos, para resolver problemas de la vida cotidiana.  Proporcionar al educando autonomía frente a los problemas que en su futura práctica profesional puede encontrar.

C.3.- PLAN TEMÁTICO Nº I. II. III. IV. V. VI.

Unidad Introducción Gramáticas Autómatas finitos Gramáticas y autómatas Aplicaciones a lenguajes Evaluaciones Total CT: Clases Teóricas CP: Clases Prácticas HA: Horas de Autoestudio

CT 4 4 4 4 4 20

CP 4 4 4 5 4 4 25

HA 9 9 9 9 9 45

Total 17 17 17 18 17 4 90

C.4. – OBJETIVOS POR UNIDAD Nº I.

Unidad Introducción

 

II.

Gramáticas

III.

Autómatas finitos

IV.

Gramáticas y autómatas

V.

Aplicaciones a lenguajes

 

Objetivos Introducir al educando al mundo de los lenguajes y los autómatas Explicar las estructuras de las condicionalidades o sentencias de aplicación en los lenguajes o autómatas Determinar que son autómatas finitos, sus características Fundamentar la relación entre la gramática del lenguaje y los autómatas

 Aplicar los conocimientos sobre la gramática de los lenguajes, en programas elaborado según especificaciones

C.5.- PLAN ANALÍTICO UNIDAD I: INTRODUCCIÓN 1. Conjuntos finitos e infinitos. - Alfabeto. - Propiedades de string. a) Longitud b) Concatenación. - Lenguaje. 2. Representación finita del lenguaje UNIDAD II: GRAMÁTICAS 1. Introducción a las gramáticas. 2. Estructura de las gramáticas. 3. Clasificación de las gramáticas (CHOMSKG). - Contexto sensitivo. - Sensible del contexto. - Libre de contexto. - Estructura de fase. 4. Representación de gramáticas. - Notación BNF. - Diagramas sintácticos UNIDAD III: AUTÓMATAS FINITOS 1. 2. 3. 4. 5. 6.

Autómatas finitos determinísticos (AFD). Autómatas finitos no determinísticos (AFND). Equivalencia de AFND y AFD. Propiedades de los lenguajes aceptados por un autómata finito. Autómata finito y expresiones regulares. Determinación de lenguajes regulares y no regulares

UNIDAD IV: GRAMÁTICAS Y AUTÓMATAS 1. Lenguajes regulares. - Teorema de Kleene. - Las aplicaciones del lema de Pumping. - El teorema MGHILL nerode. 2. Lenguajes de contexto libre. - Forma normal EHUMSKG.

- Lema de BARHILL el Pumping. - Autómata de pushdown. - Compilador de lenguajes normales. - Lenguajes Brackat. 3. Lenguajes de contexto sensitivo. - Autómata lineal Bounded. - Aspectos prácticos. - Ejemplificación con un lenguaje conocido UNIDAD V: APLICACIONES A LENGUAJES 1. Objetivos y filosofías de diseño de lenguajes de programación. - Comunicación humana. - Prevención y detención. - Utilidad. - Eficiencia. - Independencia de la máquina. - Simplicidad. - Uniformidad. - Otras filosofías del diseño. 2. Diseño detallado. - Microestructuras. - Estructuras de expresión. - Estructuras de datos. - Estructuras de control. - Estructuras del compilador. - Estructuras I/O C.6. – RECOMENDACIONES DIDACTICAS El sistema de trabajo con la materia de Teoría de Autómatas se apoyará directamente en los diversos componentes de discusión de las temáticas expuestas por el docente y las investigaciones o lecturas que el educando deberá realizar. Es requerimiento esencial poner en práctica técnicas los elementos aprendidos en las clases teóricas, para lo cual el educando contará con un ordenador que le permitirá adaptase y resolver problemas planteados en relación al uso y manejo del mismo ordenador. El docente utilizará herramientas que permitan la construcción del conocimiento basado en la exposición, debate y consenso de las temáticas planteadas, estas

podrán ser individuales o colectivas, además de tiempo de uso práctico en el laboratorio de cómputo. C.7.- RECURSOS DIDÁCTICOS         

Data show Rota folio Retroproyector Filminas Computadora Pizarra Marcadores acrílicos Puntero láser Sistema de audio

C.8.- SISTEMA DE EVALUACIÓN Además de los instrumentos evaluativos escritos, se recomiendan otras actividades donde el estudiante sea agente activo de su propia evaluación y conocedor de los criterios de la misma, induciéndolos a la auto evaluación y coevaluación. Para ello se desarrollaran: a) Evaluación Diagnóstica. Se recomienda la evaluación previa de los conocimientos con el propósito de consolidarlos y definir las estrategias pedagógicas a implementar para la asociación de ideas entre la experiencia del alumno y los contenidos de la asignatura. Esta se aplica durante los primeros encuentros de las asignaturas y de las unidades. b) Evaluación Formativa. Esta se realiza durante el proceso de enseñanza-aprendizaje; consiste en una serie de pruebas que permiten medir los conocimientos que ha adquirido el alumno y los errores que ha cometido, con la finalidad de poder mejorar el proceso educativo, es continua y se acumula el 50 % de la nota parcial por medio de la realización de actividades evaluativas entre las que pueden ser: pruebas escritas, resolución de ejercicios, participación, resolución de casos, exposiciones, trabajos investigativos, visitas de campo, etc. c) Evaluación Sumativa en cada periodo parcial (3 en Modalidad Regular y 2 Por Encuentros)

ASPECTOS A CONSIDERAR Puntaje acumulado. Tareas y trabajos individuales Tareas y trabajos grupales Nota de evaluación parcial/final. Examen teóricos-analíticos Calificación total:

NOTAS 50% 50% 100%

Se realizarán tres evaluaciones, con las cuales se construye la nota final como la media aritmética de las tres calificaciones. C.9.-BIBLIOGRAFIA  Harry R., Lewis, Cristos H. Papadimitriou. "ELEMENTOS DE LA TEORÍA DE COMPUTACIÓN", Editorial Prentice-Hall. 2005  Hópcroft J. E., Ullman J. D., "INTRODUCCIÓN A LA TEORIA DE LOS AUTÓMATAS, LENGUAJES Y COMPUTACIÓN". Editorial Addison Wesley. 2004, USA.  Presser L., Cárdenas A. F., Marin M. A., "CIENCIAS DE LA COMPUTACIÓN. VOL. II, TRADUCTORES Y APLICACIONES", Editorial Limusa, 2000, MÉXICO.  E. Golobardes. Apuntes de Teoría de autómatas y lenguajes formales, Ediciones Enginyeriai Arquitectura La Salle, Curso 2002/2003