La máquina de Turing diseñada cuenta con estados q0, q1 y q2. Reconoce cadenas binarias (de 0s y 1s) y calcula su complemento a 1, cambiando cada dígito. Comienza en q0 y se mueve a la derecha. Al encontrar un espacio en blanco, pasa a q1 y se mueva a la izquierda. Al encontrar otro espacio en blanco, pasa a q2 y se detiene, aceptando la cadena.

1. PRIMER EJERCICIO: DISEÑO DE UNA MT COMO TRANSDUCTOR
1. Identifique los componentes de la Máquina de Turing (descríbala).
Una máquina 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 aceptación, ∅ 6= F ⊆ Q.
4. Σ es el alfabeto de entrada.
5. es  el alfabeto de cinta, que incluye a Σ, es decir, Σ ⊆.
6. B ∈  es el símbolo “blanco” (el símbolo B no puede hacer parte del alfabeto de entrada
Σ).
7. δ es la función de transición de la maquina: δ: Q ×  −→ Q ×  × {←, →}
δ es una función 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 transición δ (q, a) = (p, b, D) Significa: estando en el
estado q, escaneando el símbolo 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 símbolos de
entrada, las cuales son las palabras a evaluar o reconocer por el autómata. Esta cinta es
finita a la izquierda es decir tiene un tope.
La cinta es de longitud infinita hacia la derecha, llenándose las celdas no ocupadas con
caracteres vacíos.
Cabezal: En las máquinas 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

2. cabezal puede pasar varias veces por el mismo segmento de cinta, modificando la cinta en
el curso de ejecución.
Control Finito: Este control está compuesto por un conjunto de reglas y de producciones
por la función de transición, donde esta inmersos. Adicionalmente se determinan una serie
de estados que cambian el comportamiento del autómata
2. Diseñe en un Diagrama de Moore una máquina de Turing, que sea de autoría propia (No
puede ser copia de internet) donde ustedes creen las condiciones.
3. Recorra la máquina con al menos una cadena válida explicando lo sucedido tanto en la cinta
como en la secuencia de entrada.

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

4. 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 válida y justifíquela porque.
Cadenas No aceptadas.

6. La MT quedó en un estado de no aceptación y la cadena no es reconocida, no se seguiría el
recorrido.
5. Ejecute el Run Test a una cadena aceptada que tenga al menos cinco símbolos
6. Identifique en que momento la máquina se detiene.
En la máquina de Turing elaborada se detiene en el momento que encuentra un símbolo que no sea
0 o 1, ya que esta máquina de Turing ejecuta una función calculando el complemento a 1. El cual
funciona con binarios y los binarios están compuestos por 0 y 1.

7. 7. Mencione cual es la diferencia entre una MT que actúa como transductor y una que actúa como
reconocedor.
La diferencia es que una MT que actúa como transductor modifica el contenido de la cinta
realizando cierta función, en cuanto a una MT que actúa como reconocedor es capaz de reconocer
un leguaje L y capaz de aceptar un lenguaje L.
Una máquina de Turing que ejecuta una tarea sobre una cadena realizando cierta modificación se
puede denominar como un transductor, mientras que una máquina de Turing que solo realiza una
verificación del lenguaje de mi cadena solo se puede considerar como un reconocedor.