Solucion 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 59
Universidad Abierta y a Distancia
UNAD
Septiembre 2022
	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… 
=aq2 |bq1
q1=aq1|bq1 +q2
q2=bq2
- 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
=a(b*.) |b(a*.b*.b(b*.))
	Lenguaje 
regular
	En este espacio agrega el lenguaje regular 
correspondiente a la expresión regular.