Tema Nombre Descripción
Página Programa del curso
Página Modalidad del curso
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 Cronograma de Temas por semana de clase (parte I)
Archivo Presentación del Curso
Archivo Relación RL y Expresiones Regulares
Archivo AFD
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 AFD & AFND
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 & ER
Archivo AFD & ER
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 Relación RM y 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.

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
URL Video: Presentación práctica de autómatas finitos y Análisis de Kleene
Laboratorio Archivo Letra laboratorio
Archivo Presentación
Archivo lab.zip
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.