Revisión TRES
Máquinas de Turing, Jerarquía de Chomsky y Problemas
Problema 1
Diseñar una máquina de Turing que multiplique un número unario por 3
Problema 2
Diseñar una máquina de Turing que copie un número unario
Problema 3
Diseñar una máquina de Turing que cheque si un número unario es divisible entre 5
Problema 4
Diseñar una máquina de Turing que regrese el reciduo de divir un número unario entre 5
Problema 5
Diseñar una máquina de Turing que reste 5 a un número unario mayor a 5
Problema 6
Dibujar la jerarquía Chomsky extendida con el mayor detalle posible y libertad artísticia
Problema 7
¿Cúal es el complemento del siguiente problema?
$L_d$
Dar ejemplos de cadenas, dónde lo pondría en la jerarquía extendida
Problema 8
¿Cúal es el complemento del siguiente problema?
$HALT$
Dar ejemplos de cadenas, dónde lo pondría en la jerarquía extendida
Problema 9
¿Cúal es el complemento del siguiente problema?
Número primos unarios
Dar ejemplos de cadenas, dónde lo pondría en la jerarquía extendida
Problema 10
¿Cúal es el complemento del siguiente problema?
El lenguaje de las máquinas que se aceptan a si mismas
Dar ejemplos de cadenas, dónde lo pondría en la jerarquía extendida
Problema 11
Investigar sobre el problema de: Problema de satisfacibilidad booleana
Describirlo
Explicar su complejidad
Problema 12
Investigar sobre el problema de: Problema de la clique
Describirlo
Explicar su complejidad
Problema 13
Investigar sobre el problema de: Coloración de grafos
Describirlo
Explicar su complejidad
Problema 14
Investigar sobre el problema de: Cobertura de vértices
Describirlo
Explicar su complejidad
Lenguajes, gramáticas y autómatas
Teoría de autómatas y lenguajes formales
Introduccion a la Teoria de Automatas, Lenguajes y Computacion
Teoria de automatas y lenguajes formales
Lenguajes formales y teoría de la computación
Languages And Machines: An Introduction To The Theory Of Computer Science
Revisión dos by Ivan V. Meza Ruiz is licensed under a Creative Commons Reconocimiento 4.0 Internacional License.
Creado a partir de la obra en http://turing.iimas.unam.mx/~ivanvladimir/slides/lfya/revision_dos.html.