AUTÓMATAS Y LENGUAJES FORMALES

UNIDAD 3: FASE 4

PRESENTADO POR:

LUZ JANETH RUEDA BERGAÑO

CÓDIGO: 52849414

GRUPO:

301405_7

TUTOR:

CESAR ORLANDO JIMÉNEZ ANGARITA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BÁSICAS, TECNOLOGÍAS E INGENIERÍAS

INGENIERÍA DE SISTEMAS

BOGOTÁ D.C. – NOVIEMBRE DE 2018

 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

Ejercicio 4

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

EJERCICIO A
TRABAJAR

Caracterizaci Se define de la siguiente forma:

ón de la
máquina de r = {0,1,b}
turing Q = { q0,q1,q2,q3}
qo= Estado inicial
qf= q3

Tabla de Transición

F 0 1 B
qo qo,0,R qo,1,R --------
q1 -------- q2,0,L --------
q2 -------- q2,0,L q3,1,S
q3 -------- -------- --------

Realizar un cuadro donde explique las diferencias y similitudes de

las máquinas reconocedoras y Trasductoras

M. RECONOCEDORA M.TRANSDUCTORA
Capaz de reconocer o Modifica el estado de
aceptar un lenguaje L la cinta realizando
cierta función
Reconoce un lenguaje Añade un bit de
L si para y lo hace en paridad a la entrada
un EF y si solo si w E
L
Duplica el numero de
1s que hay en la cita
Si la entrada esta bien
formada debe
terminar en un estado
final
Si la entrada no esta
bien formada debe
terminar en un estado
no final
Procedimiento Cadena a representar
de paso a
paso del 1011001101
recorrido de Paso 1 Representación en la cinta Fila
una cadena
1 0 1 1 0 0 1 1 0 1

Izquierda Derecha

Paso 2 Inicia la cadena en estado q0 al tomar el 1 vuelve y queda

con el 1 no sale del estado q0
Paso 3 Cuando toma el 0 vuelve y queda con el 0 y no sale del
estado q0
Paso 4 Pasa al 1 vuelve y queda 1 y no sale del estado q0
Paso 5 al terminar la cadena pasa a vacio y queda en el estado q1
Paso 6 Con un 1 cambia a vacio y pasa a la derecha quedando en
el estado q2

Practicar y
verificar lo Cadena Valida
aprendido
Cadena Rechazada
 BIBLIOGRAFIA

 Hernández, R. (2010). Practique la teoría de autómatas y lenguajes formales. (pp.

1 -124). Recuperado
dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10
566114&ppg=10

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

lenguajes formales. (pp. 7-797). Recuperado
dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10
498456&ppg=6

 Rosenfeld, D. (2016). Computabilidad, Complejidad computacional y verificación

de programas. (pp. 7 - 27). Recuperado
dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=11
201616&ppg=12