|
Programa del curso |
|
|
Modalidad 2024 |
|
|
Teórico |
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. |
|
Temas incluidos en las clases de OpenFing (Curso 2014) |
|
|
Cronograma de Temas por semana de clase (parte I) |
|
|
Cronograma de Temas por dia de clase (parte II) |
|
|
Presentación del Curso |
|
|
Relación RL y Expresiones Regulares |
|
|
AFD & AFND |
|
|
Complementario: Modelado con autómatas - AFD |
Primera parte del material de apoyo para el uso de autómatas finitos como reconocedor de lenguajes
|
|
Complementario: Modelado con autómatas - AFND |
Segunda parte del material de apoyo para el uso de autómatas finitos como reconocedor de lenguajes
|
|
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))
|
|
AFND-epsilon y ER |
|
|
AFD & ER - RM |
|
|
Complementario: Demostración del Lema de Arden |
|
|
Complementario: Enunciado del Análisis de Kleene |
|
|
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.
|
|
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. |
|
Minimización de AFD |
|
|
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. |
|
Pumping Lema - Lenguajes Regulares |
|
|
Propiedades de clausura de Lenguajes Regulares |
|
|
Autómatas con Salida y Autómatas de 2 Cintas |
|
|
Complementario: Ejemplos de ejercicios de Máquinas con Salida |
Material de apoyo para el uso de máquinas con salida.
|
|
Complementario: Ejemplos de ejercicios de Autómatas de 2 cintas |
Material de apoyo para el uso de autómatas finitos de 2 cintas.
|
|
Gramáticas Libres de Contexto |
|
|
Complementario: Ejemplo de demostración por IC sobre GLC L = L(G) |
|
|
Gramáticas Regulares |
|
|
Simplificación de gramáticas y Normalización |
|
|
APD |
|
|
Pumping Lema II |
|
|
Propiedades de clausura y Lema de Ogden |
|
|
Gramáticas Irrestrictas |
|
|
Máquinas de Turing - Jerarquía de Chomsky |
|
|
Prácticos |
Práctico 0 |
Para resolver el Práctico 0 recomendamos ver primero las clases 1 y 2 de OpenFing.
|
|
Práctico 1 |
|
|
Video: Presentación práctica de Expresiones Regulares |
|
|
Documento: Presentación práctica de prueba L=L(r) |
|
|
Video: Presentación práctica de prueba L=L(r) |
|
|
Práctico 2 |
|
|
Práctico 3 |
|
|
Práctico 4 |
|
|
Video: Presentación práctica de Pumping Lemma |
|
|
Práctico 5 |
|
|
Video: Presentación práctica de otros formalismos de autómatas |
|
|
Práctico 6 |
|
|
Video: Presentación práctica de simplificación de GLC |
|
|
Práctico 7 |
|
|
Práctico 8 |
|
|
Video: Presentación práctica de Pumping Lemma 2 |
|
|
Práctico 9 |
|
|
Video: Presentación práctica de Gramáticas irrestrictas |
|
|
Video: Presentación práctica de Máquinas de Turing |
|
|
Laboratorio 1 |
Letra Laboratorio 1 |
|
|
Presentación |
|
|
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 |
Letra |
|
|
Presentación |
|
|
lab2.zip |
- 28/5 a las 22:40 - Cambio en los test 4 y 5 del programa 1
|
|
Evaluaciones anteriores |
Parciales y exámenes (de 2019 en adelante) |
|
|
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 |
Apuntes de Computabilidad |
|
|
Exámenes (hasta 2018 inclusive) |
Las evaluaciones de 2019 en adelante se encuentran en este link. |