Salta al contenido principal
Panel lateral
Enlaces de interés
FING
Bedelia
SGAE
OpenFing
Noticias
Redes sociales
Orientacion y consulta
Convivencia
Cursos
Institutos
Tecnólogos
Posgrados
Extensión
Institucional
Más
Buscar
Cerrar
Buscar
Selector de búsqueda de entrada
En este momento está usando el acceso para invitados
Acceder
Página Principal
Abrir índice del curso
Institutos
TeoLeng
Apuntes de Computabilidad
Apuntes de Computabilidad
Apuntes de Computabilidad
Haga clic en
Apuntes de Computabilidad.pdf
para ver el archivo.
◄ Exámenes
Ir a...
Ir a...
Novedades y anuncios
Consultas generales
Asistencia muestra - Examen julio 2024
Programa del curso
Modalidad 2024
Encuesta de opinión estudiantil del curso semestre 1 de 2024
Encuesta DOCENTE semestre 1 de 2024 BELEN BRANDINO
Encuesta DOCENTE semestre 1 de 2024 LUCÍA DE OLIVEIRA
Encuesta DOCENTE semestre 1 de 2024 ENRIQUE GALINDO
Encuesta DOCENTE semestre 1 de 2024 SANTIAGO GÓNGORA
Encuesta DOCENTE semestre 1 de 2024 JUANJO PRADA
Encuesta DOCENTE semestre 1 de 2024 GUILLERMO REY
OpenFing - Teoría de Lenguajes
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)
Consultas de Teórico
Presentación del Curso
Relación RL y Expresiones Regulares
AFD & AFND
Complementario: Modelado con autómatas - AFD
Complementario: Modelado con autómatas - AFND
Complementario: Ejemplo de demostración por IC sobre autómatas 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
Complementario: Cálculo de expresiones de las clases de RM
Minimización de AFD
Complementario: Ejercicio de Minimización Autómatas Finitos
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
Complementario: Ejemplos de ejercicios de Autómatas 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áctico 0
Consultas sobre el Práctico 0
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)
Consultas sobre el Práctico 1
Práctico 2
Consultas sobre el Práctico 2
Práctico 3
Consultas sobre el Práctico 3
Práctico 4
Video: Presentación práctica de Pumping Lemma
Consultas sobre el Práctico 4
Práctico 5
Video: Presentación práctica de otros formalismos de autómatas
Consultas sobre el Práctico 5
Práctico 6
Video: Presentación práctica de simplificación de GLC
Consultas sobre el Práctico 6
Práctico 7
Consultas sobre el Práctico 7
Práctico 8
Video: Presentación práctica de Pumping Lemma 2
Consultas sobre el Práctico 8
Práctico 9
Video: Presentación práctica de Gramáticas irrestrictas
Video: Presentación práctica de Máquinas de Turing
Consultas sobre el Práctico 9
Consultas laboratorio 1
Letra Laboratorio 1
Presentación
lab1.zip
Entrega
Busco grupo!
Consultas laboratorio 2
Letra
Presentación
lab2.zip
Entrega lab2
Parciales y exámenes (de 2019 en adelante)
Parciales y exámenes (hasta 2018 inclusive)
Parciales
Exámenes
Exámenes (hasta 2018 inclusive)
Computabilidad y Complejidad
Exámenes (hasta 2018 inclusive) ►