TC
Info curso
1
- Teoría de lenguajes
Referencias
Introducción
1
- Teoría de lenguajes
Nociones y notaciones básicas
Operaciones sobre lenguajes
Reglas de re-escritura
Referencias
Ejercicios para la evaluación continua
2
- Autómatas finitos
Auto-aprendizaje
Ejercicios para la evaluación continua
RACSO
\to
DFA
3
- Gramáticas libre de contexto
Auto-aprendizaje
Ejercicios para la evaluación continua
RACSO
\to
CFG
4
- Expressiones regulares
Auto-aprendizaje
Ejercicios para la evaluación continua
RACSO
\to
Reg
5.1
- No regularitat
Auto-aprendizaje
Ejercicios para la evaluación continua
5.2
- Pushdown automata
Auto-aprendizaje
Ejercicios para la evaluación continua
RACSO
\to
PDA
6
- Máquinas de Turing
Auto-aprendizaje
Ejercicios para la evaluación continua
7
- Indecibilidad
Auto-aprendizaje
Ejercicios para la evaluación continua
RACSO
\to
K
8
- Problemas naturales indecidibles
Auto-aprendizaje
Ejercicios para la evaluación continua
RACSO
\to
WP
RACSO
\to
CFG
Otros Enlaces
RACSO Online Judge
TC - Página principal
Syllabus
1
- Teoría de lenguajes
Referencias
Referencias
Teoria de la computació – Llenguatges regulars i incontextuals
Rafel Cases, Lluís Màrquez
Capítol 1
Introduction to the Theory of Computation
Michael Sipser
CENGAGE Learning, 2013
Sipser’s MIT Video Lectures
Chapter 0. Introduction
Reglas de re-escritura
Ejercicios para la evaluación continua
