EJERCICIOS DE LA FASE 3

ACTIVIDAD INDIVIDUAL

EJERCICIO A Registre aquí el Ejercicio a trabajar. Por favor agregue

TRABAJAR la imagen

Caracterización En este espacio se realiza:

de la máquina - Mediante la definición formal explicar las
de turing características de la máquina de Turing.

AP= (Σ, Γ, b, Q, s, f, F)
Σ es el alfabeto 0,1
de entrada
Γ es el alfabeto Z,B,C
de la maquina
Q es un conjunto q0, q1,q2,q3
finito de
estados
s el estado inicial q0
del autómata
F⊆Q es el conjunto q3
de estados
finales.
f es una Q×Γ
aplicación
denominada
función de
transición de
ternas en el
conjunto de las
partes

- Realizar un cuadro donde explique las diferencias y

similitudes de las máquinas reconocedoras y
Trasductoras
 RECONOCEDORA TRASDUCTORA
Son aquellas en donde Son las más generales.
la salida es binaria Convierten una
depende únicamente secuencia de señales
del estado y existe un de entrada en una
estado inicial. Puede secuencia de salida,
decirse, entonces, que pudiendo esta ser
cuando la máquina binaria o más compleja,
produce una salida según la entrada actual
positiva es porque ha (no solo del estado) y
reconocido o aceptado pudiendo también
la secuencia de prescindirse de un
entrada. En las estado inicial.
máquinas de estados
aceptoras, los estados
con salida positiva se
denominan estados
finales.
Procedimiento Realice de manera detallada y grafica el procedimiento
de paso a paso paso a paso del recorrido de una cadena (La cadena la
del recorrido selecciona el estudiante, debe contener como mínimo
de una cadena 10 caracteres) en la máquina de turing. Describir cómo
funciona el almacenamiento mediante el uso de las
cintas, etc.

Cinta de entrada
0 0 0 0 0 0 1 1 1 1 b

Cabeza lectora
q0

q2 q3

q1

- Paso 1…
La cabeza lectora de MT señala al símbolo 0 de la cinta
estando en estado q0, esto genera que la cabeza
lectora se mueva una casilla hacia la derecha(R) sin
modificar el contenido de la cinta ni su estado. Como el
procedimiento es el mismo para una entrada de 0 en
q0 la cabeza se sigue moviendo hasta encontrar un
dato diferente a 0.

Cinta de entrada
0 0 0 0 0 0 1 1 1 1 b

Cabeza lectora
q0

q2 q3

q1

- Paso 2…
La cabeza lectora de MT señala al símbolo 1 de la cinta
estando en estado q0, esto genera que la cabeza
lectora se mueva una casilla hacia la derecha(R) sin
modificar el contenido de la cinta ni su estado. Como el
procedimiento es el mismo para una entrada de 1 en
q0 la cabeza se sigue moviendo hasta encontrar un
dato diferente a 1.

Cinta de entrada
0 0 0 0 0 0 1 1 1 1 b

Cabeza lectora
q0

q2 q3

q1
- Paso 3…

La cabeza lectora de MT señala al símbolo b de la cinta

estando en estado q0, esto genera que la cabeza
lectora se mueva una casilla hacia la izquierda(L)
pasando al estado q1 sin modificar el contenido de la
cinta.

Cinta de entrada
0 0 0 0 0 0 1 1 1 1 b

Cabeza lectora
q0

q2 q3

q1

- Paso 4…

La cabeza lectora de MT señala al símbolo 1 de la cinta

estando en estado q1, esto genera que la cabeza
lectora se mueva una casilla hacia la izquierda(L)
cambiando el 1 por 0 y pasando al estado q2.

Cinta de entrada
0 0 0 0 0 0 1 1 1 0 b

Cabeza lectora
q0

q2 q3

q1
 - Paso 5…

La cabeza lectora de MT señala al símbolo 1 de la cinta

estando en estado q2, esto genera que la cabeza
lectora se mueva una casilla hacia la izquierda(L)
cambiando el 1 por 0 sin cambiar su estado. Como el
procedimiento es el mismo para una entrada de 1 en
q2 la cabeza se sigue moviendo hasta encontrar un
dato diferente a 1.

Cinta de entrada
0 0 0 0 0 0 0 0 0 0 b

Cabeza lectora

q0

q2 q3

q1

- Paso 5…

La cabeza lectora de MT señala al símbolo 0 de la cinta

estando en estado q2, como no existe transición para 0
en q2 el autómata se queda en q2 con una cinta
0000000000. Como q2 no es un estado de aceptación
la maquina rechaza la cinta.
Practicar y Apoyándose en el simulador JFlap o VAS ejecutar y
verificar lo validar por lo menos cinco cadenas válidas y 5 cadenas
aprendido rechazadas por la máquina. En este espacio adjunta la
imagen.
Objetivos
1. La máquina de Turing creada en el ejemplo es una maquina es:

A. Máquina transductora
B. Maquina reconocedora
C. Maquina calculadora
D. Máquina estabilizadora
2. En la máquina de Turing creada de ejemplo el símbolo que representa
la cita es:2. En la máquina de Turing creada de ejemplo el símbolo que
representa la cita es:

A. 1
B. A
C. L
D. a

3. En la máquina de Turing creada de ejemplo la cadena que se ejecuta

es:

A. aa
B. aab
C. baa
D. ab

4. En el ejercicio desarrollado es el video de Códigos Convolucionales

Tellis y Viterbi la cadena que se utiliza es:

A. 10100110
B. 10010110
C. 11010010
D. 01011001

BIBLIOGRAFIA

 Carrasco, R., Calera, R., Forcada, M. (2016). Teoría De Lenguajes, Gramáticas Y

Autómatas Para Informáticos. Recuperado de
http://bibliotecavirtual.unad.edu.co:2051/login.aspx?direct=true&db=nlebk&AN
=318032&lang=es&site=edslive&ebv=EB&ppid=pp_Cover
 Hernández, R. (2010). Practique la teoría de autómatas y lenguajes formales.
(pp. 1 -124). Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=1056
6114&ppg=10

 Alfonseca, C., Alfonseca, M., Mariyón, S. (2009). Teoría de autómatas y

lenguajes formales. (pp. 7-797). Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=1049
8456&ppg=6