A.

Disee Una MT que se comporte como transductor que reconozca el

lenguaje L ={01u11*} (NO incluye o NO acepta la cadena ). La transduccin
(salida) debe ser que por cada smbolo que entre duplique el smbolo del
alfabeto de la cinta, para el alfabeto 0 la cinta ser a y para el alfabeto 1 el
valor en la cinta ser b: Ejemplo: para la cadena (11) la salida ser (aaaa),
para la cadena 01 la salida ser: (aabb) El alfabeto de la cinta es debe ser
diferente al alfabeto de entrada. Es decir el alfabeto de entrada es 0 y el de
la cinta a, y para la entrada 1 el de la cinta b con sus respectivos
smbolos blanco si es que los necesita en su diseo
1. Identifique los componentes de la Mquina de Turing (descrbala).
Tenemos la siguiente descripcin para la Maquina de Turing que es una
Sextupla de la forma K,,,, S,F en donde:
K = es el conjunto de estados internos (q0, q1, q2, q3, q4,q5,q6,q7)
= es el alfabeto de entrada (0, 1,x,y)
a,b, es el alfabeto de la cinta donde y
S = es el estado Inicial (q0)
F = es el estado aceptador (q7)

La funcin de transicin est dada (L(izquierda), R(derecha), S(stop))

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.
CADENA

0011

cinta
0011

q
q0

EXPLICACIN
Inicia
en
el
estado q0.

DIRECCION

x011

q0

xx11

q0

xxy1

q1

xxyy

q1

Inicia
en
el
estado q0 se da
el paso tomando
el valor de (0) y
lo reescribe por
(x)
desplazndose
hacia la derecha
quedando en el
estado q0.
Inicia
en
el
estado q0 se da
el paso tomando
el valor de (0) y
lo reescribe por
(x)
desplazndose
hacia la derecha
quedando en el
estado q0.
Inicia
en
el
estado q0 se da
el paso tomando
el valor de (1) y
lo reescribe por
(y)
desplazndose
hacia la derecha
quedando en el
estado q1.
Inicia
en
el
estado q1 se da
el paso tomando
el valor de (1) y
lo reescribe por
(y)
desplazndose
hacia la derecha
quedando en el
estado q1.

FIGURA

xxyy

q2

xxyb

q5

xxybb

q2

xxybb

q2

xxbbb

q5

xxbbb

q5

Inicia
en
el
estado q1 se da
el
paso
desplazndose
hacia
la
izquierda
sin
reescribir
valores,
quedando en el
estado q2.
Inicia
en
el
estado q3 se da
el paso tomando
el valor de (y) y
lo reescribe por
(b)
desplazndose
hacia la derecha
quedando en el
estado q5.
Inicia
en
el
estado q5 se da
el paso tomando
el valor de () y
lo reescribe por
(b)
desplazndose
hacia
la
izquierda
quedando en el
estado q2.
Inicia
en
el
estado q2 se da
el
paso
desplazndose
hacia
la
izquierda
quedando en el
estado q2.
Inicia
en
el
estado q3 se da
el paso tomando
el valor de (y) y
lo reescribe por
(b)
desplazndose
hacia la derecha
quedando en el
estado q5.
Inicia
en
el
estado q5 se da
el paso tomando
el
desplazndose
hacia la derecha
quedando en el

xxbbb

q5

xxbbbb

q2

xxbbbb

q2

xxbbbb

q2

xxbbbb

q2

xxbbbb

q3

xxbbbb

q3

estado q5.
Inicia
en
el
estado q5 se da
el paso tomando
el
desplazndose
hacia la derecha
quedando en el
estado q5.
Inicia
en
el
estado q5 se da
el paso tomando
el valor de () y
lo reescribe por
(b)
desplazndose
hacia
la
izquierda
quedando en el
estado q2.
Inicia
en
el
estado q2 se da
el
paso
desplazndose
hacia
la
izquierda
quedando en el
estado q2.
Inicia
en
el
estado q2 se da
el
paso
desplazndose
hacia
la
izquierda
quedando en el
estado q2.
Inicia
en
el
estado q2 se da
el
paso
desplazndose
hacia
la
izquierda
quedando en el
estado q2.
Inicia
en
el
estado q2 se da
el
paso
sin
desplazamiento
quedando en el
estado q3.
Inicia
en
el
estado q3 se da
el
paso
desplazndose
hacia
la
izquierda

xxbbbb

q3

xxbbbb

q4

axbbbb

q6

aaxbbbb

q4

aaxbbbb

q4

aaabbbb

q6

quedando en el
estado q3.
Inicia
en
el
estado q3 se da
el
paso
desplazndose
hacia
la
izquierda
quedando en el
estado q3.
Inicia
en
el
estado q3 se da
el
paso
desplazndose
hacia la derecha
quedando en el
estado q4.
Inicia
en
el
estado q4 se da
el paso tomando
el valor de x y
lo reescribe por
(a)
desplazndose
hacia
la
izquierda
quedando en el
estado q6.
Inicia
en
el
estado q6 se da
el paso tomando
el valor de () y
lo reescribe por
(a)
desplazndose
hacia la derecha
quedando en el
estado q4.
Inicia
en
el
estado q4 se da
el
paso
desplazndose
hacia la derecha
quedando en el
estado q4.
Inicia
en
el
estado q4 se da
el paso tomando
el valor de (x) y
lo reescribe por
(a)
desplazndose
hacia
la
izquierda
quedando en el
estado q6.

aaabbbb

q6

aaabbbb

q6

aaaabbbb

q4

aaaabbbb

q4

aaaabbbb

q4

aaaabbbb

q4

aaaabbbb

q7

Inicia
en
el
estado q6 se da
el
paso
desplazndose
hacia
la
izquierda
quedando en el
estado q6.
Inicia
en
el
estado q6 se da
el
paso
desplazndose
hacia
la
izquierda
quedando en el
estado q6.
Inicia
en
el
estado q6 se da
el paso tomando
el valor de () y
lo reescribe por
(a)
desplazndose
hacia la derecha
quedando en el
estado q4.
Inicia
en
el
estado q4 se da
el
paso
desplazndose
hacia la derecha
quedando en el
estado q4.
Inicia
en
el
estado q4 se da
el
paso
desplazndose
hacia la derecha
quedando en el
estado q4.
Inicia
en
el
estado q4 se da
el
paso
desplazndose
hacia la derecha
quedando en el
estado q4.
Inicia
en
el
estado q4 y sin
desplazamiento
queda
en
el
estado final q7.

4. Identifique una cadena que no sea vlida y justifquela porque.

00 no es una cadena valida porque solo acepta los smbolos 01 o 11*.

5. Ejecute el RunTest a una cadena aceptada que tenga al menos cinco
smbolos

6. Identifique en qu momento la mquina se detiene.

La mquina se detiene en el momento en el cual la cinta realizo el recorrido de
programado para la transformacin cada elemento de entrada 011111 por la
condicin de salida, el final del proceso llega cuando de derecha a izquierda
cuando escribe los caracteres aabbbbbbbbbb, posndose sobre un carcter
vaco y el cabezal de la maquina se dirigir hacia el primer carcter de la cadena
llegado as a un estado de aceptacin.

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

El diseo anterior corresponde a una Maquina de Turng (MT)

ya que se

encuentra especficamente diseada para realizar un clculo especifico. Las

Maquinas Universales de Turing (MUT) se encuentran diseadas para procesar

cualquier informacin y poseen la capacidad para procesar mltiples algoritmos

C. Disee Una MT identificando las condiciones propias del ejercicio

1. Identifique los componentes de la Mquina de Turing (descrbala).
Tenemos la siguiente descripcin para la Maquina de Turing que es una

Sextupla de la forma K,,,, S,F en donde:

K = es el conjunto de estados internos (q0, q1, q2, q3, q4)
= es el alfabeto de entrada (0, 1)
a,b, es el alfabeto de la cinta donde y
S = es el estado Inicial (q0)
F = es el estado aceptador (q4)

La funcin de transicin est dada (L(izquierda), R(derecha), S(stop))

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.

CADENA

0101

CINTA
a101

Q
q1

ab01

q2

aba1

Q3

EXPLICACIN
Inicia
en
el
estado q0 se da
el primer paso
tomando
el
primer valor de
(0)
y
lo
reescribe por el
(a)
desplazndose
hacia
la
derecha hacia
q1
Inicia
en
el
estado q1 se da
el
paso
tomando
el
valor de (1) y lo
reescribe por el
(b)
desplazndose
hacia
la
derecha hacia
q2
Inicia
en
el
estado q2 se da
el
paso
tomando
el
valor de (0) y lo
reescribe por el
(a)
desplazndose
hacia
la
derecha hacia
q3

DIRECCION
R

FIGURA

ABAB

Q4

Inicia
en
el
estado q3 se da
el
paso
tomando
el
valor de (1) y lo
reescribe por el
(b)
desplazndose
hacia
la
derecha hacia
q4

4. Identifique una cadena que no sea vlida y justifquela porque.

No es una cadena valida porque solo acepta los smbolos 0 y 1 alternados.

5. Ejecute el RunTest a una cadena aceptada que tenga al menos cinco

smbolos

6. Identifique en qu momento la mquina se detiene.

La mquina se detiene en el momento en el cual ha recorrido la cinta de izquierda

a derecha habiendo transformado todos y cada uno de los valores a la condicin
de salida de esta en el estado q4, estado de aceptacin.