Facultad de Ingeniera / Escuela de Informtica

Antonio Varas 880, Providencia, Santiago

SYLLABUS de la Asignatura
Teora de autmatas y lenguajes formales INS131
1. Descripcin de la asignatura
La teora de autmatas es el estudio de dispositivos de clculos abstractos, es decir, de
mquinas. Hace un tiempo Turing estudi la mquina abstracta que se homologa con el
funcionamiento de los computadores de hoy en da. De esta forma, la importancia del
curso radica en el aprendizaje directo de autmatas para disear software, anlisis
lxico, exploracin de textos largos, entre otros.

2. Prerrequisitos, Co-requisitos y Horas Pedaggicas

Horas:
Terico: 4 hrs.

3.

Objetivos

Objetivo General

Desarrollar el pensamiento abstracto del alumno, utilizando la teora de autmatas como

herramienta primordial del planteamiento de estados basados en alfabetos y lenguajes
planteados.

Objetivos Especficos

Proporcionar las bases matemticas para diferentes asignaturas propias de las ciencias de
la computacin.

Manejar conceptual y metodolgicamente los entes abstractos de la teora de grafos y de

los lenguajes regulares.

Disear autmatas finitos y comprender las caractersticas de las gramticas regulares.

Facultad de Ingeniera
Escuela de Informtica

Con los elementos tericos y prcticos disear, construir y clasificar autmatas finitos y
lenguajes regulares aceptados en autmatas finitos.

Estudiar los principales teoremas de los lenguajes y establecer las gramticas regulares y
las formas normales, analizar las mquinas de Turing.

4. Sistema de Evaluacin de la Asignatura

La nota de la asignatura se calcula en base a su modalidad de teora.
Teora (CAT):
La nota de ctedra se calcular como sigue:

Solemne 1
Solemne 2
Solemne 3
Controles
Ejercicios

= 20%
= 20%
= 20%
= 20%
= 20%

Importante:
Si el alumno tiene nota CAT bajo 4.0, reprueba la asignatura de forma inmediata.
Si el alumno tiene CAT sobre 5.0, el alumno aprueba.
Si el alumno tiene CAT bajo 5.0 pero CAT 4.0, deber presentarse a rendir un examen
(EXA). Para calcular su nota final, se ponderar de la siguiente forma:
EXA
CAT

= 30%
= 70%

Si la ponderacin anterior es sobre 4,0, el alumno aprueba el

dicha ponderacin.

Antonio Varas 880, Providencia, Santiago

ramo con el resultado de

Facultad de Ingeniera
Escuela de Informtica

5.

Actividades del Curso

Ctedra
El alumno o alumna deber asistir a clases tericas y rendir tres pruebas solemnes, las cuales
sern escritas y de acuerdo a los contenidos que se hayan visto en clases, los cuales, por lo
general, sern acumulativos, esto significa que para la segunda prueba ser necesario utilizar
lo aprendido para la primera.

Las clases sern expositivas, donde se explicarn conceptos y adicionalmente se mostrarn

diversos ejemplos, tanto conceptuales como prcticos para apoyar los contenidos presentados.
Ejercicios
Clases prcticas respecto a las ctedras. Estas reforzarn contenidos y prepararn al alumno
para resolver problemas expuestos en la literatura.

Antonio Varas 880, Providencia, Santiago

Facultad de Ingeniera
Escuela de Informtica

6. Calendario de contenidos y actividades del curso

Unidad de aprendizaje Aprendizaje esperados
Introduccin

Fundamentos de
Alfabetos y lenguaje

Lenguajes regulares

Lenguajes
independientes de
contexto

Fecha
Observacin General
Lunes 3 de Agosto
* Presentacin del curso.
* Conceptos bsicos
Viernes 7 de Agosto
* Alfabetos
Lunes 10 de Agosto
Viernes 14 de
*Palabras
Agosto
*Operaciones
Lunes 17 de Agosto
Viernes 21 de
*Evaluacin
Agosto
Control I
*Revisin de evaluacin
Lunes 24 de Agosto
* Lenguajes regulares y expresiones
Viernes 28 de
regulares
Agosto
* Autmata finito determinista
* AFD y lenguajes
* Autmata finito no determinista
* Equivalencia
Lunes 31 de Agosto
* e- transiciones
* Autmata finito y expresiones
regulares
* Propiedades de los lenguajes
regulares
Viernes 4
Evaluacin
Septiembre
Solemne I
Revisin de evaluacin
Lunes 7 Septiembre
*Gramticas regulares
*Gramticas regulares y lenguajes
Viernes 11
regulares
Septiembre
* Gramticas independientes del
contexto
Lunes 14
* rboles de derivacin
Septiembre
* Simplificacin de gramticas
independientes del contexto
* Propiedades de los lenguajes
independientes del contexto
Viernes 18
* Autmatas de pila
Septiembre
Lunes 21
Evaluacin
Septiembre
Control II
Revisin de evaluacin
Viernes 25
Septiembre

Antonio Varas 880, Providencia, Santiago

Facultad de Ingeniera
Escuela de Informtica

Unidad de
aprendizaje

Lenguajes
independientes de
contexto

Aprendizaje esperados
* Autmatas de pila y lenguajes
independientes del contexto
* Forma normal de Greibach

Fecha
Lunes 28
Septiembre
Viernes 2 Octubre

Evaluacin

Lunes 5 Octubre

Revisin de evaluacin

Viernes 9 Octubre

Observacin
General

Solemne II

Lunes 12 Octubre

* Ejercicios
Evaluacin
Revisin de evaluacin
* Definicin
* Mquinas de Turing como
aceptadores de lenguajes
* Construccin de mquinas de
Turing
* Modificacin de las mquinas de
Turing
* Mquinas de Turing universales

Mquinas de Turing y * Complejidad

Complejidad
Evaluacin
Revisin de evaluacin

Entrega de Notas Finales de

presentacin

Evaluacin

Viernes 16 Octubre
Lunes 19 Octubre
Viernes 23 Octubre

Control III

Lunes 26 Octubre

Viernes 30 Octubre
Lunes 2 Noviembre
Viernes 6
Noviembre
Lunes 9 Noviembre
Viernes 13
Noviembre

Solemne III

Lunes 16 Noviembre
Viernes 20
Noviembre
Lunes 23 Noviembre
Viernes 27
Noviembre

Antonio Varas 880, Providencia, Santiago

Examen

Facultad de Ingeniera
Escuela de Informtica

7.

Bibliografa del Curso

Bibliografa Obligatoria

1. John E. Hopcroft, J.D. Ullman, Introduccin a la Teoria de Automatas,

lenguajes y computacin, Addison-Wesley , 3ra edicin
2. John M. Howie, Automata and Languages, Clarendon Press, Oxford

Antonio Varas 880, Providencia, Santiago