ACTIVIDAD INDIVIDUAL UNIDAD 1

Vista previa del material en texto

Tarea 2
Diseño de Autómatas
Estudiante
 
Código: 
Helena Clara Isabel Alemán
Tutora 
Grupo 
Universidad Abierta y a Distancia
UNAD
Septiembre 2022
Ejercicio 1. B) 	
	EJERCICIO A TRABAJAR
	
	Caracterización del autómata
	En este espacio se realiza:
· Identificación de la quíntupla del autómata
5-tupla (K, Σ, δ, s, F) donde: 
M = ({q0, q1, q2}, {a, b}, δ, q0, {q2}) 
 
· Plasme la tabla de transición
K = {q0, q1, q2} 
Σ = {a, b}
s=q0 
F = q2 
Donde la función 
δ: {q0, q1, q2} × {a, b} → {q0, q1, q2} viene dada por: 
δ (q0, a) = q2
δ (q0, b) = q1
δ (q2, b) = --
δ (q2, a) = q2
δ (q2, a) = q0
δ (q1, b) = q2
	
	a
	b
	q0
	q2
	q1
	q1
	-
	q2
	q2
	q2,q0
	---
Identificación del Autómata Finito Determinista o Autómata Finito No Determinista.
El autómata del ejercicio 1 corresponde a un Autómata Finito No Determinista, se observa en el ejercicio que con una transición desde un estado en este caso el “a” puede tener múltiples destinos.
	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 
Quedando de la siguiente manera
Paso 2 realizamos las si
Hacemos el camino 1 para llegar a q2 y luego realizamos el camino dos ambos por eliminación de estados
Camino 1: 
Camino 2: 
Camino 2.1: 
Comprobando por medio de jflap
	Autómata Final convertido
	
Ejercicios 2: Conversión de Autómatas Finitos Deterministas a Autómatas Finitos No deterministas (AFD a AFND) y viceversa 
	EJERCICIO A TRABAJAR
	
	Caracterización del autómata
	En este espacio se realiza:
· Identificación de la quíntupla del autómata
5-tupla (K, Σ, δ, s, F) donde: 
M = ({q0, q1, q2}, {a, b}, δ, q0, {q2}) 
 
· Plasme la tabla de transición
K = {q0, q1, q2} 
Σ = {a, b}
s=q0 
F = q2 
Donde la función 
δ: {q0, q1, q2} × {a, b} → {q0, q1, q2} viene dada por: 
δ (q0, a) = q2
δ (q0, b) = q1
δ (q2, b) = --
δ (q2, a) = q2
δ (q2, a) = q0
δ (q1, b) = q2
	
	a
	b
	q0
	q2
	q1
	q1
	-
	q2
	q2
	q2,q0
	---
Identificación del Autómata Finito Determinista o Autómata Finito No Determinista.
El autómata del ejercicio 1 corresponde a un Autómata Finito No Determinista, se observa en el ejercicio que con una transición desde un estado en este caso el “a” puede tener múltiples destinos.
	Procedimiento de conversión paso a paso
	
En la siguiente tabla se explica el procedimiento paso a paso.
	
	a
	b
	q0
	q2
	q1
	q1
	-
	q2
	q2
	q2,q0
	---
	q2,q0
	q2,q0
	q1
	Autómata Final convertido
	
	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.
	Original