Autómatas y Lenguajes Formales.

Prospecto V:1.3 (Julio, 2014)

Objetivos: Los siguientes puntos definen los lı́neamientos especı́ficos y generales que serán considerados
en el desarrollo de este curso.

1. Sobre este curso

El estudio de la complejidad, ası́ como la viabilidad de un problema computacional, es un pilar funda-
mental en la Ciencia de la Computación e Informática. No da lo mismo la velocidad y el consumo de
recursos que un algoritmo demande, con un mayor esfuerzo, el garantizar que un algoritmo determinado
realiza la tarea por la cual fue implementado, es otra tarea a estudiar. Ambos aspectos son de una gran
difı́cultad, por lo que requieren un claro entendimiento de que es lo que se definirá por computabilidad,
computación.

Con el propósito de responder éstos desafı́os, se han establecido conceptos fundantes, tales como el
lenguajes formales y máquinas abstractas, dos aristas de un mis problema. Con ellos se espera describir
todos los fenomenos que rodean la interacción entre la sintaxis de un lenguaje formal y la semántica
que se espera representar con el. En esta asignatura abordaremos estos conceptos desde la jerarquı́a
computacional, esto es, desde la jerarquı́a de los lenguajes formales, comenzando con el estudio de
lenguajes regulares, libre de contexto, recursivos, y en contraparte el estudio de máquinas abstractas
que permiten describirles tales como autómatas finitos, autómatas con pilas y máuinas de Turing.

2. Contenidos
Los siguientes son algunos de las unidades principales que estudiaremos durante el semestre, esto no
nos excluye de considerar otro temas afines que son también pertinentes a un asignatura de Autómatas
y Lenguajes Formales.
Autómatas Finitos Determiniı́sticos, No-Determinı́sticos; Expresiones y Lenguajes Regulares; Propieda-
des de Lenguajes Regulares; Gramáticas y Lenguajes Libres de Contexto; Autómatas de Pilas; Pro-
piedades de Lenguajes Libres de Contexto; Introducción a Maquinas de Turing; Indecibilidad; Algunos
Problemas Intratables

3. Horario y Sala de clases

Lunes: Bloques 6 − 7 [16 : 35 − 17 : 35] − [17 : 45 − 18 : 45] Sala: Oficina

Martes Bloques 3 − 4 [10 : 35 − 11 : 35] − [11 : 45 − 12 : 45] Sala: Oficina

Atención de Alumnos:

Martes : Bloques 5 − 6 [16 : 35 − 17 : 35] − [17 : 45 − 18 : 45] Oficina

1
4. Profesor

Profesor de Cátedra: Carlos Martı́nez M. carlos.martinez@ulagos.cl

5. Recursos
Como materiales de apoyo utilizaremos el sistema de gestión de cursos PLATEA que administra nuestra
Universidad. Allı́ estarán disponibles en detalle materiales y recursos que se irán incluyendo progresi-
vamente a lo largo del semestre, entre las que se pueden contar: normativas, enunciados, ejercicios
propuestos, ası́ como anuncios pertinentes de las actividades a desarrollar en este curso.

6. Evaluaciones
El trabajo a realizar durante este curso consiste en Pruebas Parciales y Controles. Todos los cuales serán
evaluados con notas en escala de 1, 0 a 7, 0, y cuyos porcentajes están descritos en las siguientes tablas.

P1 ,
Pruebas = P̄ = Promedio Simple
P2 ,



 C1 ,

C2 ,
Controles = C̄ = Promedio Simple

 C ,
 3
C4 ,

El computó de la Nota de Presentación NP se determinará a partir de las notas de las pruebas parciales
y controles.

NP = P̄ ∗ 0, 6 + C̄ ∗ 0, 4

La Nota Final NF será calculada de la siguiente manera, a partir de la nota de presentación NP y el

Examen Final EX:

NF = NP · 0,7 + EX · 0,3

La estructura de las evaluaciones es la siguiente. Las pruebas consistirán en cuatro ejercicios de desa-
rrollo. Los controles consistirán en uno o dos ejercicios también de desarrollo. Controles no serán
recuperados, sólo pruebas parciales cuyas inasistencias sean debidamente justificadas ante la Jefatura
de Carrera. Quienes cumplan con este requisito podrán rendir la prueba recuperativa fijada para es-
te propósito. Aquellas personas que cumplán con una asistencia superior o igual al 75 % y si es que
adicionalmente obtienen una nota superior o igual a 5, 0 podrán eximirse del examen final.

2
7. Calendario
Las siguientes son las fechas confirmadas de las Pruebas Parciales, Controles, ası́ como las fechas de
la Prueba Recuperativa y Examen Final. Cualquier modificación que se realizasé por razones de fuerza
mayor se publicará y notificará en forma oportuna por los canales establecidos para ello.
• Pruebas y Controles:

Control 1 Miércoles 9 de Abril

Prueba 1 Miércoles 7 de Mayo
Control 2 Martes 29 de Abril
Prueba 2 Martes 5 de Agosto
Control 3 Martes 8 de Julio
Prueba 3 Suspendida
Control 4 Martes 22 de Julio

• Pruebas Recuperativa y Examen Final

Prueba Recuperativa Martes 12 de Agosto Examen Final Martes 19 de Agosto

8. Referencias
El curso se basará principalmente en el desarrollo y presentaciones de las clases y materiales dis-
puestos en ellas, sin desmedro de esto se establecen las siguientes referencias bibliográficas.
Principal

1. John E. Hopcroft, Rajeev Motwani, JeffreyD. Ullman Teorı́a de Autómatas y Lengua-

jes Formales, Pearson Addison Wesley, Tercera Edición 2008. Disponible Digitalmente en
PLATEA.
2. Gonzalo Navarro Teorı́a de Computación: Languajes Formales, Computabilidad y Com-
plejidad, Apuntes y Ejercicios. Disponible Digitalmente en PLATEA.

Secundaria

3. Herramienta JFLAP Herramienta Gráfica de Diseño de Autómatas, Universidad de Duke,

USA, http://www.jflap.org/.

De considerar alguna referencia alternativa se adjuntará apropiadamente a la información disponible en

el sitio PLATEA del curso. En aquellos casos que se desee consultar materiales fuera de los propuestos, se
sugiere someterlo a consideración del profesor para su revisión y validación. Finalmente, se les recomienda
asistir y seguir de cerca las clases y materiales disponibles ası́ como estudiar principalmente desde sus
propios apuntes y notas de clases.