Está en la página 1de 7

PRIMER EJERCICIO: DISEO DE UNA MT COMO TRANSDUCTOR

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


Una mquina de Turing (MT), M = (Q, q0, F, ,,B, ), consta de siete componentes:
Una MT se define como una 7-tupla.
1. Q es el conjunto (finito) de estados.
2. q0 Q es el estado inicial.
3. F es el conjunto de estados finales o de aceptacin, 6= F Q.
4. es el alfabeto de entrada.
5. es el alfabeto de cinta, que incluye a , es decir, .
6. B es el smbolo blanco (el smbolo B no puede hacer parte del alfabeto de entrada
).
7. es la funcin de transicin de la maquina: : Q Q {, }
es una funcin parcial, es decir, puede no estar definida en algunos elementos del
dominio. La flecha denota desplazamiento a izquierda mientras que denota
desplazamiento a la derecha. La transicin (q, a) = (p, b, D) Significa: estando en el
estado q, escaneando el smbolo a, la unidad de control borra a, escribe b y se mueve en el
estado p, ya sea a la izquierda (si el desplazamiento D es ) o a la derecha (si D es ).
Y e soto se evidencia
Cinta: la cinta est compuesta por varias celdas, en las cuales se almacena smbolos de
entrada, las cuales son las palabras a evaluar o reconocer por el autmata. Esta cinta es
finita a la izquierda es decir tiene un tope.
La cinta es de longitud infinita hacia la derecha, llenndose las celdas no ocupadas con
caracteres vacos.
Cabezal: En las mquinas de Turing el cabezal tiene una particularidad, este es de lectura y
escritura, sea que este se mueve bidireccionalmente leyendo y escribiendo en la cinta, el

cabezal puede pasar varias veces por el mismo segmento de cinta, modificando la cinta en
el curso de ejecucin.
Control Finito: Este control est compuesto por un conjunto de reglas y de producciones
por la funcin de transicin, donde esta inmersos. Adicionalmente se determinan una serie
de estados que cambian el comportamiento del autmata
2. Disee en un Diagrama de Moore una mquina de Turing, que sea de autora propia (No
puede ser copia de internet) donde ustedes creen las condiciones.

3. Recorra la mquina con al menos una cadena vlida explicando lo sucedido tanto en la cinta
como en la secuencia de entrada.

En cuando 0 se vuelve 1 o cuando es uno se vuelve 0.Cuenta hacia la derecha desde q0.Espacio en
blanco y pasa q1.

Cuando es 1 es 1 y cuando es o es o. Cuando est a la izquierda en q1.paso en blanco pasa a la


derecha y culmina en q2.

Y finaliza en q2.
4. Identifique una cadena que no sea vlida y justifquela porque.
Cadenas No aceptadas.

La MT qued en un estado de no aceptacin y la cadena no es reconocida, no se seguira el


recorrido.
5. Ejecute el Run Test a una cadena aceptada que tenga al menos cinco smbolos

6. Identifique en que momento la mquina se detiene.


En la mquina de Turing elaborada se detiene en el momento que encuentra un smbolo que no sea
0 o 1, ya que esta mquina de Turing ejecuta una funcin calculando el complemento a 1. El cual
funciona con binarios y los binarios estn compuestos por 0 y 1.

7. Mencione cual es la diferencia entre una MT que acta como transductor y una que acta como
reconocedor.
La diferencia es que una MT que acta como transductor modifica el contenido de la cinta
realizando cierta funcin, en cuanto a una MT que acta como reconocedor es capaz de reconocer
un leguaje L y capaz de aceptar un lenguaje L.
Una mquina de Turing que ejecuta una tarea sobre una cadena realizando cierta modificacin se
puede denominar como un transductor, mientras que una mquina de Turing que solo realiza una
verificacin del lenguaje de mi cadena solo se puede considerar como un reconocedor.