Tema Nombre Descripción
Página Programa del curso
Página Modalidad 2024
Teórico URL OpenFing - Teoría de Lenguajes

Filmación de las clases teóricas del Curso. Aquí se encuentran tanto los videos del Curso 2024 así como también los filmados en el 2014.

Archivo Temas incluidos en las clases de OpenFing (Curso 2014)
Archivo Cronograma de Temas por semana de clase (parte I)
Archivo Cronograma de Temas por dia de clase (parte II)
Archivo Presentación del Curso
Archivo Relación RL y Expresiones Regulares
Archivo AFD & AFND
Archivo Complementario: Modelado con autómatas - AFD
Primera parte del material de apoyo para el uso de autómatas finitos como reconocedor de lenguajes
Archivo Complementario: Modelado con autómatas - AFND

Segunda parte del material de apoyo para el uso de autómatas finitos como reconocedor de lenguajes

Archivo Complementario: Ejemplo de demostración por IC sobre autómatas L = L(M)

Ejemplo de demostración por inducción completa que un lenguaje es reconocido por un autómata finito (L = L(M))

Archivo AFND-epsilon y ER
Archivo AFD & ER - RM
Archivo Complementario: Demostración del Lema de Arden


Archivo Complementario: Enunciado del Análisis de Kleene
Archivo Complementario: Aplicación del Análisis de Kleene

Ejemplo de aplicación del Análisis de Kleene para hallar una expresión regular que genere el lenguaje aceptado por un autómata finito determinista. Se asume que el estudiante ya estudió los enunciados teóricos de todos los resultados aquí aplicados.

Archivo Complementario: Cálculo de expresiones de las clases de RM

Método de las ecuaciones para el cálculo de expresiones regulares asociadas a las clases de RM.

Archivo Minimización de AFD
Archivo Complementario: Ejercicio de Minimización Autómatas Finitos

Ejercicio en que dado un lenguaje regular L a partir de un autómata finito no determinista con transiciones épsilon, obtiene el autómata finito mínimo y expresa mediante expresiones regulares, las clases de RL.

Archivo Pumping Lema - Lenguajes Regulares
Archivo Propiedades de clausura de Lenguajes Regulares
Archivo Autómatas con Salida y Autómatas de 2 Cintas
Archivo Complementario: Ejemplos de ejercicios de Máquinas con Salida

Material de apoyo para el uso de máquinas con salida.

Archivo Complementario: Ejemplos de ejercicios de Autómatas de 2 cintas

Material de apoyo para el uso de autómatas finitos de 2 cintas.

Archivo Gramáticas Libres de Contexto
Archivo Complementario: Ejemplo de demostración por IC sobre GLC L = L(G)


Archivo Gramáticas Regulares
Archivo Simplificación de gramáticas y Normalización
Archivo APD
Archivo Pumping Lema II
Archivo Propiedades de clausura y Lema de Ogden
Archivo Gramáticas Irrestrictas
Archivo Máquinas de Turing - Jerarquía de Chomsky
Prácticos Archivo Práctico 0
Para resolver el Práctico 0 recomendamos ver primero las clases 1 y 2 de OpenFing.
Archivo Práctico 1
URL Video: Presentación práctica de Expresiones Regulares
Archivo Documento: Presentación práctica de prueba L=L(r)
URL Video: Presentación práctica de prueba L=L(r)
Archivo Práctico 2
Archivo Práctico 3
Archivo Práctico 4
URL Video: Presentación práctica de Pumping Lemma
Archivo Práctico 5
URL Video: Presentación práctica de otros formalismos de autómatas
Archivo Práctico 6
URL Video: Presentación práctica de simplificación de GLC
Archivo Práctico 7
Archivo Práctico 8
URL Video: Presentación práctica de Pumping Lemma 2
Archivo Práctico 9
URL Video: Presentación práctica de Gramáticas irrestrictas
URL Video: Presentación práctica de Máquinas de Turing
Laboratorio 1 Archivo Letra Laboratorio 1
Archivo Presentación
Archivo lab1.zip

4/6 22:00 Cambio en las salidas esperadas de los programas 2 y 4: se elimina el espacio en blanco al final del archivo.

Laboratorio 2 Archivo Letra
Archivo Presentación
Archivo lab2.zip

  • 28/5 a las 22:40 - Cambio en los test 4 y 5 del programa 1

Evaluaciones anteriores Carpeta Parciales y exámenes (de 2019 en adelante)
URL Parciales y exámenes (hasta 2018 inclusive)

En el siguiente link encontrarán letras y soluciones de parciales y exámenes anteriores a 2019. Los temas y conceptos son los mismos, por lo que también pueden usarlos para estudiar.

Plan 87 - Teoría de la Programación I Archivo Apuntes de Computabilidad
URL Exámenes (hasta 2018 inclusive)
Las evaluaciones de 2019 en adelante se encuentran en este link.