INFORMATICA TEORICA
PROBLEMAS
1.- Considerar el lenguaje {wcwcwc, w
∈
{a, b}*} y obtener:
• una máquina de Turing que lo decida
• una gramática que lo genere
• la complejidad temporal del cálculo de la palabra abcabcabc
2.- Construir, con máquinas básicas (es decir, para usarla en Visual Turing), una máquina
de Turing que compute la función característica del lenguaje formado por las cadenas
del alfabeto {0,1} que tienen más de dos ceros.
3.- Considerar la función suma3(x, y, z)=x +y+z
• justificar de qué tipo es
• obtenerla formalmente a partir de las funciones iniciales y las recursivas
primitivas vistas en clase
• escribir un programa en lenguaje mínimo que la resuelva
APELLIDOS
NOMBRE
DNI
FECHA
