Aporte Nelson Lopez Ejercicio 1 Fase 3

Estudiante: Nelson Lpez Hidalgo
Cdigo: 12.022.529
Curso: AUTOMATAS Y LENGUAJES FORMALES 301405A_291
PRIMER EJERCICIO: DISEO DE UNA MT COMO TRANSDUCTOR
1. La Mquina de Turing es un modelo matemtico que se puede definir como un Sptuplo

(, , , , , , , ) en donde:
= es un conjunto de estados tal forma que h K donde h es el estado de
aceptacin y pertenece al conjunto de estados K. K={0, 1, 2, 3, 4, 5, 6, 7, 8, 9,
10, 11}
= es el alfabeto de entrada (palabras de entrada) donde .
={, , , }
(Smbolo blanco pertenece al alfabeto de la cinta no al alfabeto de las
palabras que se van a reconocer)
s K es el estado inicial que pertenece al conjunto de estados K. s={0}
T K es el estado final que pertenece al conjunto de estados K. T = {8,10}
B es el smbolo carcter blanco que est inmerso en el alfabeto de la cinta
.
= es el alfabeto de la cinta, donde y . ={, , , , , ,S}
(Smbolo blanco pertenece al conjunto de smbolos del alfabeto de la cinta de y
el alfabeto de la cinta contiene al alfabeto de entrada)
: Es la funcin de transicin ( {} ) ( {, })
(q0, 1) = (q1, Q, D)
(q0,0)=(q1,S,D)
(q1, K) = (q1, K, D)
(q1, a) = (q1, D, D)
(q1, B) = (q2, K, D)
(q2, B) = (q3, B, I)
(q3, K) = (q4, K, I)
(q0, P) = (q3, a, D)
(q4, O) = (q1, K, D)
(q4, D) = (q4, O, D)
(q4, K) = (q4, K, I)
(q4, B) = (q4, K, D)
(q4, Q) = (q5, K, D)
(q4, S)= (q11, S, D)
(q11, K)= (q7, S, D)
(q7, K)= (q7, K, D)
(q7, K)= (q7, B, D)
(q7, B)= (q9, K, I)
(q9, K)= (q9, b,I)
(q9, S)= (q9, a,I)
(q5, K) = (q5, K, D)
(q5, B) = (q6, B, I)
Cdigo: 12.022.529
(q6, K) = (q6, b, I)
(q6, B) = (q7, B, D)
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 11
La mquina inicia en el estado q0 y el cabezal de la cinta se ubica en la primera 1 del

Cdigo: 12.022.529
extremo izquierdo.
Del estado q0 pasa al estado q1, lee una 1, escribe una Q y se desplaza hacia la derecha.
La mquina se mantiene en el mismo estado q1, lee una 1, escribe una D y se desplaza
hacia la derecha.
Cdigo: 12.022.529
Del estado q1 pasa al estado q2, lee un espacio en blanco, escribe una K y se desplaza hacia
la derecha.
la izquierda.
Cdigo: 12.022.529
Del estado q3 pasa al estado q4, lee y escribe una K, se desplaza hacia la izquierda.
La mquina se mantiene en el mismo estado q4, lee una D, escribe una O y se desplaza
hacia la derecha.
La mquina se mantiene en el mismo estado q4, lee y escribe una K y se desplaza hacia la
izquierda.
Cdigo: 12.022.529
Del estado q4 pasa al estado q1, lee una O, escribe una K y se desplaza hacia la izquierda.
derecha.
la derecha.
Cdigo: 12.022.529
Del estado q2 pasa al estado q3, lee un espacio en blanco, escribe una K y se desplaza
hacia la izquierda.
Del estado q3 pasa al estado q4, lee y escribe una K, se desplaza hacia la izquierda.
izquierda.
Cdigo: 12.022.529
Repite el mismo proceso anterior, se mantiene en el mismo estado q4, lee y escribe una
K y se desplaza hacia la izquierda.
Del estado q4 pasa al estado q5, lee una Q, escribe una K y se desplaza hacia la derecha.
Cdigo: 12.022.529
Sigue la mquina en el mismo estado q5, lee y escribe una K y se desplaza hacia la derecha.
An sigue la mquina en el mismo estado q5, lee y escribe una K y se desplaza hacia la
derecha.
Del estado q5 pasa al estado q6, lee y escribe un espacio en blanco, y se desplaza hacia la
izquierda.
En este estado q6, lee todas las K y coloca una b se desplaza hacia la izquierda.
Cdigo: 12.022.529
En el estado q6, lee la primera K de la izquierda, coloca una b y se desplaza hacia la

izquierda.
Del estado q6 pasa al estado final q7, lee y escribe un espacio en blanco, y se desplaza
hacia la derecha.
CADENA: 01
Cdigo: 12.022.529
La mquina inicia con el carcter 0 el cual escribe una S al principio de la salida. Luego
recorre los estados del q1 al q4 al igual que la cadena 11 anteriormente expuesta paso por
paso. En este caso luego de las dos iteraciones la maquina llega en el estado 4 con una S la
cual le permite tomar camino al estado q11.
A continuacin del estado q11 se pasa al estado q7 cambiando el valor K por S en la cinta
de salida
Cdigo: 12.022.529
En el estado q7 se termina de recorrer la cinta hasta encontrar un espacio en blanco con el

fin de llegar al extremo para devolverse y realizar el cambio de las variables K por a y S
por b
Se genera el cambio del estado q7 al q9
Por ultimo en q9 se realiza el cambio intercalado en la cinta que genera la salida aabb
Cdigo: 12.022.529
4. Identifique una cadena que no sea vlida y justifquela porque.
Cadena no valida: 10
Esta cadena no es vlida debido a que en el estado q1 no se recibe el valor 0 para poder
realizar algn tipo de transicin hacia algn estado.
5. Ejecute el Run Test a una cadena aceptada que tenga al menos cinco smbolos
Cdigo: 12.022.529
6. Identifique en que momento la mquina se detiene.

La MT se llega al final de un clculo cuando se alcanza un estado especial llamado halt en
el control finito, como resultado de una transicin, para este caso el estado final q8. Al
llegar al halt, se detiene la operacin de la MT, y se acepta la palabra de entrada (que para
nuestro ejemplo de cadena vlida se tom 111). Adems a esto, la cabeza lectora queda
ubicada en la primera a del lado izquierdo de la cinta.
7. Lo que acaba de disear es una MUT o una MT. Justifique su respuesta.

En el ejercicio anterior se dise una mquina de Turing (MT), dado que esta es utilizada
para hacer clculos, y las MUT son utilizadas para procesar informacin de una misma MT
o dado el caso en muchas MT.

Aporte Nelson Lopez Ejercicio 1 Fase 3

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Aporte Nelson Lopez Ejercicio 1 Fase 3

Enviado por

Direitos autorais:

Formatos disponíveis

Estudiante: Nelson Lpez Hidalgo

PRIMER EJERCICIO: DISEO DE UNA MT COMO TRANSDUCTOR

1. La Mquina de Turing es un modelo matemtico que se puede definir como un Sptuplo

2. Disela en un Diagrama de Moore.

La mquina inicia en el estado q0 y el cabezal de la cinta se ubica en la primera 1 del

En el estado q6, lee la primera K de la izquierda, coloca una b y se desplaza hacia la

En el estado q7 se termina de recorrer la cinta hasta encontrar un espacio en blanco con el

Se genera el cambio del estado q7 al q9

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

6. Identifique en que momento la mquina se detiene.

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

Você também pode gostar