Trabajo telematica

Vista previa del material en texto

Tarea 2
Diseño de Autómatas
Estudiante
Julián Andrés Henao Bustamante
Código: 15518622
Helena Clara Isabel Alemán
Tutora 
Grupo 9
Universidad Abierta y a Distancia
UNAD
Septiembre 2022
	Ejercicios 1: Autómata a Expresión regular
Con el ejercicio seleccionado debe diligenciar la siguiente tabla
	EJERCICIO A
TRABAJAR
	Registre aquí el Ejercicio a trabajar. Por favor 
agregue la imagen del autómata.
	Caracterización 
del autómata
	
En este espacio se realiza:
- Identificación de la quíntupla del autómata
 
- Plasme la tabla de transición
- Identificación del Autómata Finito Determinista 
o Autómata Finito No Determinista
Autómata finito no determinista porque no asocia ningún estado o asocia más de uno.
- Explicar las características del tipo de autómata.
Un autómata finito no determinista (abreviado AFND) es un autómata finito que, a diferencia de los autómatas finitos deterministas (AFD), posee al menos un estado q ∈ Q, tal que para un símbolo a ∈ Σ del alfabeto, existe más de una transición δ(q,a) posible. Todo AFND puede ser convertido en un AFD equivalente.
- Citar dos referencias bibliográficas de material en 
ingles que haya consultado.
Richardson, B., Hendy, K., Andiyani, V., & Philips, W. (2019). Penerapan Konsep Non-Deterministic Finite Automata (NFA) pada Aplikasi Simulasi Mesin Kopi Vending. Jurnal Informatika Universitas Pamulang, 4(1). https://doi.org/10.32493/informatika.v4i1.2062
Kumar, A., & Verma, A. K. (2014). A novel algorithm for the conversion of parallel regular expressions to non-deterministic finite automata. Applied Mathematics and Information Sciences, 8(1). https://doi.org/10.12785/amis/080111
	Procedimiento 
de conversión 
de Autómata 
Finito a 
Expresión 
Regular paso a 
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. 
- Paso 1… 
- Paso 2… 
=aq2 |bq1
q1=a*.b*+bq2|aq0
q2=b*
- Paso 3…
q1=a*.b*.b(b*.).aq0
	Autómata Final 
convertido
	En este espacio se presenta la expresión 
correspondiente al autómata trabajado
=ab* |b(a*b(*b(b*)))
	Lenguaje 
regular
	En este espacio agrega el lenguaje regular 
correspondiente a la expresión regular.
	
	Ejercicios 2: Conversión de Autómatas Finitos Deterministas a 
Autómatas Finitos No deterministas (AFD a AFND) y viceversa
Con el ejercicio seleccionado debe diligenciar 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 de la quíntupla del autómata 
- Plasme la tabla de transición
- Identificación del Autómata Finito Determinista 
o Autómata Finito No Determinista
Autómata finito no determinista porque no asocia ningún estado o asocia más de uno.
- Explicar las características del tipo de autómata
Un autómata finito no determinista (abreviado AFND) es un autómata finito que, a diferencia de los autómatas finitos deterministas (AFD), posee al menos un estado q ∈ Q, tal que para un símbolo a ∈ Σ del alfabeto, existe más de una transición δ(q,a) posible. Todo AFND puede ser convertido en un AFD equivalente.
	Procedimiento 
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. 
- Paso 1…
Para poder solucionar mejor creamos una variable que no existe uniendo q1 Ս q2 = q1q2 como se muestra en la tabla de transición. 
- Paso 2… 
Luego para solucionar lo del campo vació después de hallar para cuando q1 esta en (b) colocamos la nueva variable = q1q2 
- Paso 3…
La nueva variable cuando esta en (a) asume los valores que tenían q1 y q2
	Autómata Final 
convertido 
	En este espacio se presenta el autómata final
	Practicar y 
verificar lo 
aprendido
	Apoyándose en el simulador JFlap JFLAP (Anexo 1 - 
JFLAP) o VAS (Anexo 2- VAS) ejecutar los dos 
autómatas, el original y el autómata resultado final 
de la conversión y validar por lo menos tres cadenas 
válidas y tres cadenas rechazadas.
En este espacio agregar las imágenes tomadas del 
simulador utilizado.