Está en la página 1de 13

EJERCICIOS DE LA FASE 4

ACTIVIDAD INDIVIDUAL

De acuerdo al último dígito de su cédula o tarjeta de identidad, identifique el ejercicio


asignado en la siguiente tabla:

Último dígito Ejercicio


de la Cédula o
TI
1y9 Ejercicio 1
2y8 Ejercicio 2
3y7 Ejercicio 3
4y6 Ejercicio 4
5y0 Ejercicio 5

ACTIVIDAD 1: Maquinas de Turing

1. Ejercicio 1 2. Ejercicio 2

3. Ejercicio 3 4. Ejercicio 4

5. Ejercicio 5
El diseño solicitado corresponde al diligenciamiento de la siguiente tabla:

EJERCICIO A
TRABAJAR Ejercicio 5

Caracterización Formalmente una Máquina de Turing se define como la 7-tupla MT= {Q,
de la máquina ∑,Г, δ, q0, B, F} donde:
de turing
 Q: Es el conjunto finito de estados.|

 ∑: Es es un conjunto finito de símbolos de entrada.

 Г: Es el conjunto finito de símbolos que puede reconocer la


máquina, el alfabeto ∑ Г.

 δ: Es la función de transición δ(qi , σ) → (qk, Г, R|L)

 𝜆: Función de salida Q × ∑ → S, 𝜆(qi,a) → s, donde s S, q Q y a


∑.

 q0: q0 Q es el estado inicial.

 B: Es el símbolo en blanco, representa que la celda está vacía.

 F: F Q es el conjunto de estados finales.

Para este ejercicio sería:

- Q={ q0, q1, q2,q4 }.

- ∑={ 0,1 } .

- Г= { 0,1, B }; ∑ Г.

- δ: Es la función de transición δ(qi , σ) → (qk, Г, R|L)

- 𝜆: Función de salida Q × ∑ → S, 𝜆(qi,a) → s, donde s S, q Q y a ∑.

- q0: {q0 } Q es el estado inicial.

- B es símbolo blanco o vacío (en la gráfica corresponde a □).

- F= { q4 } .
El cuadro donde se explican las máquinas reconocedoras y
transductoras está al final del trabajo. Para este ejercicio tenemos una
MT transductora.

La función de transición y de salida se representan en la siguiente


tabla:

0 1 B
𝑞0 (𝑞0 , 0, 𝑅) (𝑞0 , 1, 𝑅) (𝑞1 , 𝐵, 𝐿)
𝑞1 (𝑞2 , 1, 𝐿) - -
𝑞2 (𝑞2 , 0, 𝐿) (𝑞2 , 1, 𝐿) (𝑞4 , 𝐵, 𝑅)
𝑞4 - - -

Máquina de Turing Máquina de Turing


Transductora Reconocedora
• Podemos considerar • Una MT es
que una máquina reconocedora
de Turing como cuando una palabra
transductora a una es aceptada y lo es
que computa una así, si y sólo si a
determinada partir de la
función sobre una descripción inicial
cadena (o un se llega a una
conjunto de ellas) descripción con
en lugar de estado final.
computarla sobre
un conjunto de  Alcanza con
enteros. identificar los
• Consideramos AFD estados que se
que dada una consideran finales
palabra de entrada, (aceptadores).
producen una
palabra de salida.
• Tienen un conjunto  Se dice que una
finito de estados. máquina de Turing
• Tienen dos cintas M que acepta una
asociadas: una de cadena w ⇔ M se
lectura y otra de detiene en un
escritura estado final.
• Dos tipos
principales:
Máquina de
Mealy ,Máquina de
Moore n
• También llamadas
máquinas de Ejemplos:
estados/ maquinas ◦ Máquina de Turing que
secuenciales acepta palabras que
terminan y comienzan
Ejemplos: con el mismo símbolo.
◦ Dividir una palabra en ◦ Máquina de Turing que
dos acepta cadenas que
◦ Aplicar un intercalan los símbolos
homomorfismo en determinado orden.
◦ Desplazar los símbolos
un número de veces a
derecha o izquierda

Procedimiento La cadena a introducir en la máquina es:


de paso a paso
del recorrido 1010101100
de una cadena

- Paso 1: La cinta de la MT está formada por infinitas


casillas. Inicialmente, la palabra de entrada (una
concatenación de símbolos del alfabeto) se encuentra
escrita en casillas consecutivas de la cinta y la cabeza
señala al primer símbolo de la palabra. Todas las otras
casillas (hacia la izquierda y la derecha) contienen el
símbolo en blanco.
Estando en el estado inicial 𝑞0 , la cabeza de la MT señala
al símbolo de cinta 1, que es el primer símbolo que
introducimos.
En el estado inicial se tienen las siguientes transiciones:
δ(q0,0)=(q0,0,R)
δ(q0,1)=(q0,1,R)
δ(q0,B)=(q1,B,L)

- Paso 2: Entonces la MT escribe el símbolo de cinta 1


en la casilla actual y mueve la cabeza una casilla hacia
la derecha R y se queda en el estado 𝑞0 . De acuerdo a
las transiciones mientras hayan unos y ceros se
mantiene en el estado 𝑞0 . Se ha recorrido 1 en la cadena.
La transición es la siguiente:

δ(q0,1)=(q0,1,R)

• Luego lee un 0, escribe un 0, se mueve a la derecha


en la cinta y permanece en 𝑞0 . Se ha recorrido 10 en
la cadena. La transición es la siguiente:

δ(q0,0)=(q0,0,R)

• Luego lee un 1, escribe un 1, se mueve a la derecha


en la cinta y permanece en 𝑞0 . Se ha recorrido 101 en
la cadena. La transición es la siguiente:
δ(q0,1)=(q0,1,R)

• Luego lee un 0, escribe un 0, se mueve a la derecha


en la cinta y permanece en 𝑞0 . Se ha recorrido 1010 en
la cadena. La transición es la siguiente:

δ(q0,0)=(q0,0,R)

• Luego lee un 1, escribe un 1, se mueve a la derecha


en la cinta y permanece en 𝑞0 . Se ha recorrido 10101
en la cadena. La transición es la siguiente:

δ(q0,1)=(q0,1,R)

• Luego lee un 0, escribe un 0, se mueve a la derecha


en la cinta y permanece en 𝑞0 . Se ha recorrido 101010
en la cadena. La transición es la siguiente:

δ(q0,0)=(q0,0,R)

• Luego lee un 1, escribe un 1, se mueve a la derecha


en la cinta y permanece en 𝑞0 . Se ha recorrido 1010101
en la cadena. La transición es la siguiente:

δ(q0,1)=(q0,1,R)
• Luego lee un 1, escribe un 1, se mueve a la derecha
en la cinta y permanece en 𝑞0 . Se ha recorrido
10101011 en la cadena. La transición es la siguiente:

δ(q0,1)=(q0,1,R)

• Luego lee un 0, escribe un 0, se mueve a la derecha


en la cinta y permanece en 𝑞0 . Se ha recorrido
101010110 en la cadena. La transición es la siguiente:

δ(q0,0)=(q0,0,R)

• Luego lee un 0, escribe un 0, se mueve a la derecha


en la cinta y permanece en 𝑞0 . Se ha recorrido
1010101100 en la cadena. La transición es la
siguiente:

δ(q0,1)=(q0,1,R)

- Paso 3: Al no haber más ceros o unos y haberse


movido a la derecha, la MT lee un espacio vacío B y
tenemos la siguiente transición:
δ(q0,B)=(q1,B,L)
En esta instancia se lee un B, escribe un B en la cinta,
se mueve a la izquierda una casilla y pasa al estado 𝑞1 .

- Paso 4: Al moverse una casilla a la izquierda la MT lee


el último cero de la cadena y tenemos la siguiente
transición en el estado 𝑞1 :
δ(q1,0)=(q2,1,L)

Por tanto, lee un 0, escribe un 1, se mueve una casilla a


la izquierda y pasa al estado 𝑞2 . La cadena queda ahora
como 1010101101.

- Paso 5: Al moverse una casilla a la izquierda la MT lee


el cero que sigue hacia la izquierda de la cadena y
tenemos las siguientes transiciones en el estado 𝑞2 :
δ(q2,0)=(q2,0,L)
δ(q2,1)=(q2,1,L)
Por tanto, la MT lee un 0, escribe un 0, se mueve una
casilla a la izquierda y permanece en el estado 𝑞2 . De
acuerdo a las transiciones descritas arriba la MT sigue
leyendo la cadena y reescribiendo la misma hacia la
izquierda, en tanto hallan ceros y unos, hasta que halle un
espacio vacío B.

- Paso 6: Cuando termina de moverse sobre la cadena


hacia la izquierda, la MT lee un espacio vacío B y se
realiza la siguiente transición:
δ(q2,B)=(q4,B,R)
Por tanto, la MT lee un B, escribe un B, se mueve una
casilla a la derecha y pasa al estado 𝑞4 . Al moverse
queda en la cinta en el primer 1 de la cadena y no se
realizan más movimientos, ya que en el estado 𝑞4 no hay
transiciones y es el estado final.

Practicar y En este punto es usado JFLAP, en primer lugar


verificar lo realizamos la MT y obtenemos:
aprendido

Para comprobar las cadenas que acepta, utilizamos el


Fast Run en JFLAP.

Del punto anterior se ve que la máquina acepta todas


las cadenas que terminan en cero, y cambia ese último
cero por uno en la cinta. Las cadenas que terminan en
1 son rechazadas, queda interrumpida en el paso 3 del
punto anterior, ya que al pasar al estado 𝑞1 , en ese
estado sólo hay transición bajo el 0, por tanto al haber
1 la máquina no puede seguir.
- Cadenas aceptadas

1111100000
1010101010

1010100000

1101000010

0000111000
- Cadenas rechazadas
0000000001
0101010101
0001111111
0011001101
0111000111
Todas estas cadenas son rechazadas, ya que
terminan en 1, como se explica al comienzo de este
punto. Al ejecutar el Fast Run en JFLAP nos arroja:

Máquina de Turing Transductora Máquina de Turing Reconocedora


• Podemos considerar que una • Una MT es reconocedora cuando
máquina de Turing como una palabra es aceptada y lo es
transductora a una que computa así, si y sólo si a partir de la
una determinada función sobre una descripción inicial se llega a una
cadena (o un conjunto de ellas) en descripción con estado final.
lugar de computarla sobre un
conjunto de enteros.
• Consideramos AFD que dada una  Alcanza con identificar los estados
palabra de entrada, producen una que se consideran finales
palabra de salida. (aceptadores).
• Tienen un conjunto finito de
estados.  Se dice que una máquina de Turing
• Tienen dos cintas asociadas: una M que acepta una cadena w ⇔ M
de lectura y otra de escritura se detiene en un estado final.
• Dos tipos principales: Máquina de
Mealy ,Máquina de Moore n
• También llamadas máquinas de
estados/ maquinas secuenciales

Ejemplos:
◦ Dividir una palabra en dos Ejemplos:
◦ Aplicar un homomorfismo ◦ Máquina de Turing que acepta palabras
◦ Desplazar los símbolos un número de que terminan y comienzan con el mismo
veces a derecha o izquierda símbolo.
◦ Máquina de Turing que acepta cadenas
que intercalan los símbolos en
determinado orden.

También podría gustarte