UNIDAD UNO LENGUAJES REGULARES Y SUS MAQUINAS
Presentado a: JHEIMER JULIAN SEPULVEDA Tutor(a) Entregado por: RAFAEL E CEPEDA - Código: 301405 Cc:72214238 Grupo:49
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD ESCUELA DE CIENCIAS BÁSICAS, INGENIERÍAS Y TECNOLOGÍAS CURSO DE AUTOMATAS Y LENGUAJES FORMALES Medellín 2019
RAFAEL CEPEDA COD:72214238 EJERCICIOS DE LA FASE 1 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 1y9 2y8 3y7 4y6 5y0
Ejercicio Ejercicio Ejercicio Ejercicio Ejercicio Ejercicio
1 2 3 4 5
ACTIVIDAD 1: Conversión de un Autómata Finito a Expresión Regular
El diseño solicitado corresponde al diligenciamiento de la siguiente tabla: EJERCICIO A TRABAJAR
Registre aquí el Ejercicio a trabajar. Por favor agregue la imagen
Caracterizaci ón del autómata
En este espacio se realiza: - Identificación del Autómata Finito Determinista o Autómata Finito No Determinista este es un automata finito no determinista. - Explicar las características del tipo de autómata se puede ir del estado q0 a q1 como tambien al mismo q1 y q2 con la misma transicion 1. la expresion regular la vamos hallar por el metodo de eliminacion de estado.
M =({q0, q1, q2} , {1,2} , δ, q0, {q2}) K ={ q0, q1, q2} Σ ={1,2) s=q0 F = q2 Donde la función δ : {q0, q1, q2 } ×{1,2} → {q0, q1, q2} viene dada por: δ(q0, 1) = q0 δ(q0, 1) = q1 δ(q1, 1) = q1 δ(q1,2 ) = q1 δ (q0, 2) = q2 Procedimient o de conversión de Autómata Finito a Expresión Regular paso
Realice de manera detallada el procedimiento paso a paso de la conversión del autómata a expresión regular y según ejemplo revisado. Autómata original
a paso
eliminando q1 queda 2+2*+11
eliminando q0 queda 1*+2*+2+11 la ER=(1+2)*2+11
Autómata Final convertido
En este espacio se presenta la expresión correspondiente al autómata trabajado.
ER= (1+2)*2+11 Lenguaje regular
En este espacio agrega el lenguaje correspondiente a la expresión regular. ER= (1+2)*2+11
regular
ACTIVIDAD 2: Conversión de Autómatas Finitos Deterministas a Autómatas Finitos No deterministas (AFD a AFND) y viceversa
El diseño solicitado corresponde al diligenciamiento de la siguiente tabla:
EJERCICIO Registre aquí el Ejercicio a trabajar. Por favor agregue A TRABAJAR la imagen:
Caracterizac ión del autómata
En este espacio se realiza: - Identificación del Autómata Finito Determinista o Autómata Finito No Determinista - Explicar las características del tipo de autómata - convierto el AFN a AFD - Caracterización M =( { q 0, q 1, q 2, q 3 } , { a , b } , δ , q 0, { q 2 } ) K={a , b } s=q 0 F=q 2 - Dónde la función δ : {q 0,q 1,q 2, q 3 } x { a , b } → {q 0,q 1, q 2, q 3 } δ ( q 0, a )=q 1 δ ( q 0, a )=q 3 δ ( q 0,b )=λ δ ( q 1, a )=λ δ ( q 1, b )=q 2 δ ( q 3, a )=λ δ ( q 3, b )=q 3 δ ( q 3, b )=q 2 -
Procedimien to de conversión paso a paso
Realice de manera detallada el procedimiento paso a paso de la conversión del autómata según corresponda y según ejemplo revisado. TABLA DE TRANSICION a b
q0 q1 q2 q3
q1,q3 ------------------
Analisis de estados con transiciones. a q0 q1,q3 q1 ,q3 ---q3,q2 -------
Autómata Final convertido
Practicar y verificar lo aprendido
-------q2 ---------q3,q2
b -------q3,q2 q3,q2
En este espacio se presenta el autómata final Procedimiento de transformación:
En este espacio agregar las imágenes tomadas del simulador utilizado Autómata original
Autómata final
Cadenas validas
Cadenas rechazadas
BIBLIOGRAFIA González, A. [Ángela]. (2018, junio 1). Lenguajes Regulares. [Archivo web]. Recuperado de http://hdl.handle.net/10596/18315 González, A. [Ángela]. (2017, noviembre 5). Autómatas Finitos. [Archivo de video]. Recuperado de http://hdl.handle.net/10596/10470 CK-12, (2015). Operations with Sets. [OVA]. Recuperado de http://www.ck12.org/probability/Operations-with-Sets/plix/Lets-Rollthe-Dice-56e1fc1f8e0e0813d4b14128/?referrer=concept_details. CK-12, (2015). Operations with Sets Practice. [OVA]. Recuperado de http://www.ck12.org/probability/Operations-withSets/asmtpractice/Operations-with-Sets-Practice/?referrer=concept_details