Ejercicio 1:

Disee una MT que se comporte como reconocedor que su lenguaje sea {a, b}
que acepte cadenas que empiecen y terminen en el mismo smbolo.

1. Identifique los componentes de la Mquina de Turing (descrbala).

2. Disela en un Diagrama de Moore.
3. Recorra la mquina con al menos una cadena vlida explicando lo sucedido
tanto en la cinta como en la secuencia de entrada.
4. Identifique una cadena que no sea vlida y justifquela por qu.
5. Lo que acaba de disear es una MUT o una MT. Justifique su respuesta.

Desarrollo
1. Identifique los componentes de la Mquina de Turing (descrbala).
Una mquina de Turing es una sptupla M = (, , , Q, q0, f, F) donde:
1. es el alfabeto de smbolos de la cinta.
2. < es el alfabeto de smbolos de entrada.

3. es el smbolo blanco que no pertenece a .

4. Q es un conjunto finito de estados.
5. q0 Q es el estado inicial.
6. F Q es el conjunto de estados finales.
7. f es una funcin de transicin parcial.
f: Q x Q x x {L, R}
Se define una mquina de Turing sobre el alfabeto, donde a representa el smbolo
blanco. La mquina comenzar el proceso situada sobre un smbolo b de una
serie.
La mquina de Turing copiar el nmero de smbolos a que encuentre hasta el
primer blanco detrs de dicho smbolo blanco. Es decir, posiciona el cabezal sobre
el a situado en el extremo izquierdo, doblar el nmero de smbolos a, con una b
en medio.

Estado S ledo S escrito Movimiento Estado sig.

S1 a b R S2
S2 a a R S2
 S2 b b R S3
S3 b a L S4
S3 a a R S3
S4 a a L S4
S4 b b L S5
S5 a a L S5
S5 b a R S1

2. Disela en un Diagrama de Moore.

3. Recorra la mquina con al menos una cadena vlida explicando lo

sucedido tanto en la cinta como en la secuencia de entrada.
De acuerdo al diagrama de Moore cumple con la cadena vlida.
 La secuencia de entrada es aaaabbaa
Paso del estado q0, q1, q3, q5

0 q0 a
1 q1 aa
3 q3 aab
5 Q5 aa

4. Identifique una cadena que no sea vlida y justifquela por qu.

Input Output Result
a Accept
aa Accept
aab Accept
aa Accept
bbaa Reject

Una cadena no es vlida porque si se modifica la entrada de b en a

5. Lo que acaba de disear es una MUT o una MT. Justifique su

respuesta.
Mquina de Turing porque se genera en estados inicial y final. El diseo
corresponde a la Mquina de Touring, debido a que est diseado para realizar un
clculo especfico y procesa cualquier informacin.