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 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 de la Cédula o TI 1 2 3 4 5
y y y y y
9 8 7 6 0
Ejercicio Ejercicio Ejercicio Ejercicio Ejercicio Ejercicio
1 2 3 4 5
ACTIVIDAD 1: Maquinas de Turing Ejercicio 4
El diseño solicitado corresponde al diligenciamiento de la siguiente tabla:
EJERCICIO A TRABAJAR
Caracterizaci ón de la máquina de turing
Se define de la siguiente forma: r = {0,1,b} Q = { q0,q1,q2,q3} qo= Estado inicial
qf= q3
Tabla de Transición F qo q1 q2 q3
0 qo,0,R ----------------------
1 qo,1,R q2,0,L q2,0,L --------
B --------------q3,1,S --------
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 1011001101 paso del recorrido de Paso 1 Representación en la cinta una cadena 1
0
1
1
0
0
Iz uierda
1
Fila 1
0
1
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 aprendido
Cadena Valida
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