Autómatas y lenguajes formales
1. ALFABETOS Y LENGUAJES
- Alfabetos y lenguajes
- Introducción a Notebook, JFLAP
- Conceptos Básicos
2. AUTÓMATAS FINITOS
- Introducción a Autómatas Finitos
- Autómatas Finitos deterministas
- Autómatas Finitos No deterministas
- Autómatas Finitos con transiciones ε
- 3. LENGUAJES REGULARES
- Expresiones Regulares
- Álgebra de las expresiones
- Propiedades de las Expresiones Regulares
- 4. LENGUAJES INDEPENDIENTES DEL CONTEXTO
- Gramáticas independientes del contexto
- Árboles de Derivación
- Autómatas de Pila
- 5. MAQUINAS DE TURING (MT)
- Introducción MT
- MT múltiples cintas y MT múltiples pistas
- Autómatas con MT
- 6. PROBLEMAS INTRATABLES
- Indecibilidad y MT Universal
- Problemas P y NP
Cronograma 2018-2
Proyectos Previos
Referencias
1. SUDKAMP, T. Languages and Machines, Addison-Wesley Publishing Company, Inc, Reading, Mass, 1988.
2. PENROSE., R., The Emperor's New Mind : Concerning, Computers, Minds An The Laws Of Physics.
3. HOPCROFT, J.E., and J. D. ULLMAN. Introducción to Automata Theory, Languages and Computation Addison-Wesley Publishing Company, Inc, Reading, Mass, 1979.
4. KELLEY, Dean. Teoría de autómatas y lenguajes formales, Prentice Hall.
Online Courses
1. MIT. Automata, Computability, and Complexity [+]
2. Standford. Automata
Cursos Previos
OTROS RECURSOS