Autómatas y lenguajes formales

Ronald Viveros
Código: 80205157

Grupo: 301405_22

Tutor Jheimer Julian Sepulveda

Autómatas y Lenguajes Formales Universidad Abierta y a Distancia Unad

Mayo 2019
 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:

EJERCICI Registre aquí el Ejercicio a trabajar. Por favor agregue la
OA imagen
TRABAJA
R Ejercicio 3

Caracteri En este espacio se realiza:

zación de - Mediante la definición formal explicar las
la características de la máquina de Turing.
máquina
de turing M = ( Σ ,Q , Γ , s ,b , f , δ )

Donde:

Σ: Conjunto finito de símbolos distinto al espacio en

blanco, identificado como alfabeto de máquina o entrada
(Alfabeto)
Q: Conjunto finito de estados de control
Γ : Conjunto finito de símbolos de cinta o alfabeto de cinta
s: Estado inicial del autómata (q 0)
b: Símbolo representa el espacio en blanco, es el único
que se puede repetir infinitas veces
f: Subconjunto de estados finales
δ =( Q∗Γ ) →(Q∗Γ∗L , R) Función de transición

- Realizar un cuadro donde explique las diferencias y

similitudes de las máquinas reconocedoras y
Transductoras

Máquina Reconocedora Máquina transductora

Salida binaria Salida binaria o
compleja
Depende únicamente Puede depender
del estado además de la entrada
actual
 Existe un estado inicialPuede prescindir de un
estado inicial
Produce salida positiva Convierte una
cuando acepta o secuencia de señales
reconoce la secuencia de entrada en una
de entrada secuencia de salida

Procedimi Realice de manera detallada y grafica el procedimiento

ento de paso a paso del recorrido de una cadena (La cadena la
paso a selecciona el estudiante, debe contener como mínimo 10
paso del caracteres) en la máquina de turing. Describir cómo
recorrido funciona el almacenamiento mediante el uso de las
de una cintas, etc.
cadena
La cadena para evaluar será: abcabcabca

Se identifica un error de sintaxis en el autómata y en vez

de S se toma R, para realizar los movimientos a la
derecha respectivamente.

Paso 1

Estando en el estado q0 la cabeza de la MT señala el

símbolo de cinta a.

a b c a b c a b c a

Paso 2

Entonces la MT escribe el símbolo 1 en la casilla actual

(cambia a por 1) y mueve la cabeza de casilla hacia R,
continúa en el estado q0.

1 b c a b c a b c a

Paso 3

Entonces la MT escribe el símbolo 1 en la casilla actual

(cambia b por 1) y mueve la cabeza de casilla hacia R,
continúa en el estado q0.

1 1 c a b c a b c a

Paso 4

Entonces la MT escribe el símbolo 1 en la casilla actual

(cambia c por 1) y mueve la cabeza de casilla hacia R,
continúa en el estado q0.

1 1 1 a b c a b c a

Paso 5

Entonces la MT escribe el símbolo 1 en la casilla actual

(cambia a por 1) y mueve la cabeza de casilla hacia R,
continúa en el estado q0.

1 1 1 1 b c a b c a

Paso 6

Entonces la MT escribe el símbolo 1 en la casilla actual

(cambia b por 1) y mueve la cabeza de casilla hacia R,
continúa en el estado q0.

1 1 1 1 1 c a b c a

Paso 7

Entonces la MT escribe el símbolo 1 en la casilla actual

(cambia c por 1) y mueve la cabeza de casilla hacia R,
continúa en el estado q0.

1 1 1 1 1 1 a b c a

Paso 8

Entonces la MT escribe el símbolo 1 en la casilla actual

 (cambia a por 1) y mueve la cabeza de casilla hacia R,
continúa en el estado q0.

1 1 1 1 1 1 1 b c a

Paso 9

Entonces la MT escribe el símbolo 1 en la casilla actual

(cambia b por 1) y mueve la cabeza de casilla hacia R,
continúa en el estado q0.

1 1 1 1 1 1 1 1 c a

Paso 10

Entonces la MT escribe el símbolo 1 en la casilla actual

(cambia c por 1) y mueve la cabeza de casilla hacia R,
continúa en el estado q0.

1 1 1 1 1 1 1 1 1 a

Paso 11

Entonces la MT escribe el símbolo 1 en la casilla actual

(cambia a por 1) y mueve la cabeza de casilla hacia R,
continúa en el estado q0.

1 1 1 1 1 1 1 1 1 1

Paso 12

La MT lee blank del símbolo de cinta, lo deja igual y pasa

a q1 que es el estado final y de aceptación

Practicar Apoyándose en el simulador JFlap o VAS ejecutar y

y verificar validar por lo menos cinco cadenas válidas y 5 cadenas
lo rechazadas por la máquina. En este espacio adjunta la
aprendido imagen.
Preguntas orientadoras de la guía:
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
 Bibliografía

Máquina de Turing - Máquina de Turing,tomado de http://ocw.uc3m.es/ingenieria-

informatica/teoriade-automatas-y-lenguajes-formales/material-de-clase-1/tema-7-
maquinas-de-turing

Códigos Convolucionales Tellis y Viterbi (Angela María Gonzalez Amarillo), 2018

[Video] tomado https://www.youtube.com/watch?v=Oe9WEAOLeyc