Ejercicio 1:

Diseñe una MT que se comporte como reconocedor que su lenguaje aceptado sea
el conjunto de cadenas con el mismo número de ceros que de unos.

• Identifique los componentes de la Máquina de Turing (descríbala).

• Diséñela en un Diagrama de Moore.
• Recorra la máquina con al menos una cadena válida explicando lo sucedido
tanto en la cinta como en la secuencia de entrada.
• Identifique una cadena que no sea válida y justifíquela por qué.
• Lo que acaba de diseñar es una MUT o una MT. Justifique su respuesta.

Desarrollo

1. Identifique los componentes de la Máquina de Turing (descríbala).

Una máquina de Turing es una séptupla M = (Γ, ∑, •, Q, q0, f, F) donde:
• Γ es el alfabeto de símbolos de la cinta.
• ∑ < Γ es el alfabeto de símbolos de entrada.
• • ɛ Γ es el símbolo blanco que no pertenece a ∑.
• Q es un conjunto finito de estados.
• q0 ɛ Q es el estado inicial.
• F ≤ Q es el conjunto de estados finales.
• f es una función de transición parcial.
f: Q x Γ → Q x Γ x {L, R}
Se define una máquina de Turing sobre el alfabeto, donde a representa el símbolo
blanco. La máquina comenzará el proceso situada sobre un símbolo “b” de una
serie.
La máquina de Turing copiará el número de símbolos “a” que encuentre hasta el
primer blanco detrás de dicho símbolo blanco. Es decir, posiciona el cabezal sobre
el a situado en el extremo izquierdo, doblará el número de símbolos a, con una b en
medio.

Estado S leído 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

• Diséñela en un Diagrama de Moore.

• Recorra la máquina con al menos una cadena válida explicando lo

sucedido tanto en la cinta como en la secuencia de entrada.
De acuerdo al diagrama de Moore cumple con la cadena válida.

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

• Identifique una cadena que no sea válida y justifíquela por qué.

Input Output Result

a Accept
aa Accept
aab Accept
aa Accept
bbaa Reject

Una cadena no es válida porque si se modifica la entrada de b en a

• Lo que acaba de diseñar es una MUT o una MT. Justifique su respuesta.

Máquina de Turing porque se genera en estados inicial y final. El diseño
corresponde a la Máquina de Touring, debido a que está diseñado para realizar un
cálculo específico y procesa cualquier información.