Anexo 1. Ejercicios Tarea 2 - Diseño de Autómatas

Descargar como docx, pdf o txt
Descargar como docx, pdf o txt
Está en la página 1de 4

EJERCICIOS PARA DESARROLLAR

Tarea 2 - Diseño de Autómatas


A continuación, se definen los ejercicios a desarrollar:
Tener en cuenta que:
 Estado Inicial
# Estado Final

a. b. c.
Estado Estado Estado a b
a b a b ->q0 q1 q0
->q0 q1 - ->q0 q2 q1 q1 q2 q1
q1 - q0,q2 q1 q2 q0 q2 q3 q2
#q2 - q1 #q2 - q1 #q3 q3 q3
d. e.
Estado a b Estado a b
Ejercicios 1: Autómata a Expresión regular q0
->q0 q1 q2 ->q0 q1
#q1 q0 q3 q1 q2 q1
Con elq2ejercicio
q3 seleccionado
q0 debe
q2 diligenciar
q3 q2la siguiente tabla:
q3 q2 q1 #q3 q3 q3
EJERCICIO A Registre aquí el Ejercicio a trabajar. Por favor
TRABAJAR agregue la imagen del autómata

Caracterización En este espacio se realiza:


del autómata - 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
- Explicar las características del tipo de autómata
- Citar dos referencias bibliográficas de material
en ingles que haya consultado

Procedimiento Realice de manera detallada el procedimiento paso


de conversión a paso de la conversión del autómata a expresión
de Autómata regular y según ejemplo revisado.
Finito a
Expresión - Paso 1…
Regular paso a - Paso 2…
paso - Paso 3…

Expresión En este espacio se presenta la expresión


regular correspondiente al autómata trabajado.

Lenguaje En este espacio agrega el lenguaje regular


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

a. b. c.
Estados: q0, q1, q2, q3 Estados: q0, q1, q2, q3, q4 Estados: q0, q1, q2, q3, q4
Alfabeto: {0, 1} Alfabeto: {a, b} Alfabeto: {0, 1}
Estado inicial: Estado inicial: Estado inicial:
q0 Estado final: q0 Estado final: q0 Estado final:
q2 Transiciones: q4 Transiciones: q4 Transiciones:
 q0, 0 -> q1  q0, a -> q1  q0, 0 -> q1
 q0, ε -> q2  q0, ε -> q2  q0, ε -> q2
 q1, 1 -> q2  q1, ε -> q3  q1, 1 -> q2
 q2, 0 -> q3  q2, b -> q3  q2, ε -> q3
 q3, 1 -> q2
 q3, a -> q4  q3, 0 -> q4
d. e.
Estados: q0, q1, q2, q3 Estados: q0, q1, q2, q3
Alfabeto: {0, 1} Alfabeto: {a, b}
Estado inicial: q0 Estado inicial: q0
Estados finales: q3 Estados finales: q2, q3
Transiciones: Transiciones:
 q0, 0 -> {q1}  q0, a -> {q1}
 q0, 1 -> {q0, q2}  q0, b -> {q0, q2}
 q1, 0 -> {q3}  q1, a -> {q3}
 q1, 1 -> {q2}  q1, b -> {q1, q2}
 q2, 1 -> {q3}  q2, a -> {q2}
 q2, b -> {q3}
 q3, a -> {q3}
 q3, b -> {q0, q1}

Con el ejercicio seleccionado debe diligenciar la siguiente tabla:


EJERCICIO A Registre aquí el Ejercicio a trabajar. Por favor
TRABAJAR agregue la imagen

Caracterización En este espacio se realiza:


del autómata - Plasme la tabla de transición
- Identificación del Autómata Finito Determinista
o Autómata Finito No Determinista
- Explicar las características del tipo de autómata

Procedimiento Realice de manera detallada el procedimiento paso


de conversión a paso de la conversión del autómata según
paso a paso corresponda y según ejemplo revisado.

- Paso 1…
- Paso 2…
- Paso 3…

Autómata Final En este espacio se presenta el autómata final


convertido

Practicar y Apoyándose en el simulador JFlap JFLAP (Anexo 1 -


verificar lo JFLAP) o VAS (Anexo 2- VAS) ejecutar los dos
aprendido 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.

Ejercicio Grupal: Construir autómata


Elabore el autómata para el siguiente lenguaje sobre el alfabeto {a,b}:
L = {a, b, ba, aaa, bbb, baaba } sobre {a,b}
Rechaza cadenas como:
ababab, bababa, abbbbb, bbabbb, bab, abab
Deben diligenciar la siguiente información:

EJERCICIO A Registre aquí el Autómata realizado. Por favor


TRABAJAR agregue la imagen

Caracterización En este espacio se realiza:


del autómata - Identificación de la quintupla
- Plasme la tabla de transición
- Identificación del Autómata Finito Determinista
o Autómata Finito No Determinista
- Explicar las características del tipo de autómata

Caracterización Identifique los elementos (tupla, estado final,


del autómata inicial, alfabeto, etc.). Debe explicar y describir
parte teórica cada elemento y la función y significado en el
autómata. Conceptos y definiciones adicionales.

Lenguaje En este espacio agrega el lenguaje regular del


Regular autómata.

Validación de - Identifique 5 cadenas aceptadas y cinco cadenas


cadenas rechazadas a parte de las dadas
Practicar y - Muestre en el simulador JFLAP (Anexo 1 - JFLAP)
verificar lo o VAS (Anexo 2- VAS) (gráficamente) como
aprendido recorre una cadena válida. Explique cada
secuencia. (No se trata solo de captura las
imágenes, estas deben ser explicadas en pie de
página o de lo contrario no tienen validez)

También podría gustarte