Instituto

Tecnolgico de
Oaxaca

EJERCICIOS DE
MAQUINAS DE TURING



Asignatura: Lenguajes y Autmatas I
Alumno: Carlos Antonio Garca Prez
Maestro: Luis Alberto Alonso Hernndez
Grupo: ISA Hora: 10:00 11:00


Ejercicios Maquinas de Turing

1. Mquina de Turing que realice el complemento a 1 a un nmero binario. (Es decir,
que sustituya los 0s por 1s y los 1s por 0s).

MT= {0,1}, {0, 1, }, {q0, q1}, q0, {q1}.









2. Mquina de Turing que obtenga el sucesor de un nmero n, donde n es representado por
una serie de 1y n> 0.

MT= {0,1}, {0, 1, }, {q0, q1}, q0, {q1}.








3. Mquina de Turing que obtenga el predecesor de un nmero n. Considerar n igual que en
el ejercicio 2.
MT= {0,1}, {0, 1, }, {q0, q1, q2}, q0, {q2}.









q0 q1
1.//D
2.//D
1.0/0/D
2./0/D
1.1/1/D
2./0/D
1.F/F/N
2./ /N
q0 q1
1.F/F/N
2./ 1/N
1.1/1/D
2./1/D
q0 q2 q1
1.1/1/D
2./1/D
1.F/F/I
2.//I
1.1/1/I
2.1//I
4. Mquina de Turing para verificar la paridad de un nmero binario. Es decir, si el nmero
de 1s de la cadena es par, se aade un 0 al final, y si es impar, se aade un 1. Ejemplo
entrada 10010, salida 100100.
MT= {0, 1}, {0,1, }, {q0, q1, q3}, q0, {q3}.

















5. Mquina de Turing para contar caracteres del lenguaje con alfabeto = {a,b,c}. Es decir,
se deben devolver tantos 1s como caracteres haya en la palabra de entrada. Considerar
que si el tamao de la cadena es igual a 0 la representacin ser mediante un espacio en
blanco.
MT= {a, b, c}, {1, }, {q0, q1}, q0, {q1}.










q0 q1
1.//N
2.//N
1.a/a/D
2./1/D
1.b/b/D
2./1/D
1.F/F/N
2./ /N
1.c/c/D
2./1/D

q0
q2
q1
1.0/0/D
2./0/D
1.0/0/D
2./0/D
1.1/1/D
2./1/D
1.1/1/D
2./1/D
1.F/F/D
2./1/D
1.F/F/D
2./0/D
6. Mquina de Turing que realice una copia de una cadena de caracteres del lenguaje con
alfabeto = {A,B,C}. Por ejemplo, una cadena de entrada w =AABCA la maquina
devuelve en la cintaAABCAAABCA, donde representa el espacio en blanco.
MT= {A, B, C}, {A, B, C, , I, F}, {q0, q1,q2, q3}, q0, {q3}.



















7. Mquina de Turing que reciba como entrada una cadena con n nmeros 1s y m
letras Xs, considerar que (n<=m), y cambie las n primeras Xs por elementos Ys.
Ejemplo para la entrada 111XXXX devuelve en la cinta 111YYYX, donde
representa al espacio en blanco.

8. Mquina de Turing la reciba como entrada dos palabras formadas por los smbolos del
alfabeto = {0, 1, 2}, separadas por un smbolo {-}, y comprueba si las cadenas son
iguales. Por ejemplo, para la entrada 2101-2101 devuelve un SI ya que son guales,
representa el espacio en blanco.









q0
q3
q1
q2
1.//D
2.//N
1.C/C/D
2./C/D
1.B/B/D
2./B/D
1.A/A/D
2./A/D
1.C/C/D
2./C/D
1.B/B/D
2./B/D
1.A/A/D
2./A/D
1.F/F/I
2.//N
1.I/I/D
2.//N
1.//I
2.//N
1.C/C/D
2./C/D
1.B/B/D
2./B/D
1.A/A/D
2./A/D
1.//N
2.//N
1.F/F/N
2.//N

9. Mquina de Turing que busque el antecesor de un numero en formato binario (0,1),
ejemplo entrada 100 salida 11, entrada 11 salida 10.
MT= {1, 0}, {1, 0, , I, F}, {q0, q1, q2, q3, q4, q5}, q0, {q5}.


















10. Mquina de Turing para encontrar el nmero anterior (sucesor) de un nmero en
formato binario (0,1). Ejemplo 100, el resultado mostrado ser 101, 11 el resultado ser
100.
MT= {1, 0}, {1, 0, , I, F}, {q0, q1, q2, q3}, q0, {q3}.


q0
q5
q3
q4
q1
q2
1.0/0/D
2. /0/D
1. F/F/I
2. //I
1.1/1/D
2. /0/D
1.0/0/I
2. /1/I
1. 1/1/I
2. 1/0/I
1.0/0/I
2. 0/0/I
1.1/1/I
2. 1/1/I
1.I/I/D
2. //D
1.1/1/D
2. /1/N
1.0/0/D
2. //D
1. //N
2. /0/N
1.1/1/N
2. /1/N
q0
q3 q1
q2
1.1/1/D
2./1/D
1.0/0/D
2./0/D
1. F/F/I
2./ /I
1. 0/0/I
2./ 1/I
1. 1/1/I
2./ 0/I
1. 1/1/I
2.1/ 1/I
1. 0/0/I
2.1/ 0/I
1. I/I/N
2.0/ I/N
1. I/I/N
2.0/ I/N