Scribd
Cargar
120 vistas8 páginas

Tarea 2 Jorge Pinzón Grupo 301405 75

Este documento presenta los ejercicios asignados para la tarea 2 sobre diseños de autómatas. El estudiante Jorge Armando Pinzón debe trabajar el ejercicio 1 sobre la conversión de un autómata finito no determinista a una expresión regular. El documento describe el autómata dado y los pasos para realizar la conversión. También debe trabajar el ejercicio 2 sobre la conversión de autómatas finitos deterministas a autómatas finitos no deterministas y viceversa.

Cargado por

Jorge Pinzón
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como DOCX, PDF, TXT o lee en línea desde Scribd
120 vistas8 páginas

Tarea 2 Jorge Pinzón Grupo 301405 75

Este documento presenta los ejercicios asignados para la tarea 2 sobre diseños de autómatas. El estudiante Jorge Armando Pinzón debe trabajar el ejercicio 1 sobre la conversión de un autómata finito no determinista a una expresión regular. El documento describe el autómata dado y los pasos para realizar la conversión. También debe trabajar el ejercicio 2 sobre la conversión de autómatas finitos deterministas a autómatas finitos no deterministas y viceversa.

Cargado por

Jorge Pinzón
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como DOCX, PDF, TXT o lee en línea desde Scribd
Está en la página 1/ 8

TAREA 2

DISEÑOS DE AUTOMATAS

ESTUDIANTE:

JORGE ARMANDO PINZON

ENTREGADO A:

ANGELA MARIA GONZALEZ

GRUPO: 301405_75

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD


ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA
AUTOMATAS Y LENGUAJES FORMALES

TUNJA
2021
EJERCICIOS A DESARROLLAR

Ejercicios seleccionados: C
A continuación, se definen los ejercicios a desarrollar:
Ejercicios 1: Autómata a Expresión regular

Con el ejercicio seleccionado debe diligenciar la siguiente tabla:


EJERCICIO A TRABAJAR

Caracterización del autómata - Identificación de la quíntupla del


autómata
M = ({q0, q1, q2}, {0,1}, δ, q0, {q1})
K = {q0, q1, q2}
Σ = {0,1}
s=q0
F=q1
- Plasme la tabla de transición
Donde la función δ: {q0, q1, q2} x {0,1}
-> {q0, q1, q2}
δ (q0, 0) = q2
δ (q0, 1) = q1
δ (q1, 1) = q1
δ (q1, 1) = q2
δ (q2, 0) = q0
0 1
Q0 Q2 Q1
Q1 Ǿ Q1-Q2
Q2 Q0 Ǿ

- Identificación del Autómata Finito


Determinista o Autómata Finito No
Determinista
Rta: Es NO determinista
- Explicar las características del tipo de
autómata
Rta: No es determinista ya que q1 tiene dos
transiciones con 1 ya sea a q2 o a q1.

Procedimiento de conversión de Método Eliminación de Estados


Autómata Finito a Expresión Regular
paso a paso

Paso 1.
Procedemos a eliminar q2
Q2 = 11

Paso 2.
Procedemos a eliminar q0
Ruta Q0 Q2 = 0+11+0

Paso 3.
La expresión nos queda de la siguiente
manera:
1*(0+11+0)

Autómata Final convertido

Lenguaje regular 𝐸𝑅 = 1*(0+11+0)


Ejercicios 2: Conversión de Autómatas Finitos Deterministas a Autómatas Finitos No
deterministas (AFD a AFND) y viceversa
EJERCICIO Registre aquí el Ejercicio a trabajar. Por favor agregue la imagen.
A
TRABAJAR

Caracterizaci En este espacio se realiza:


ón del - Identificación de la quíntupla del autómata
autómata M = ({q0, q1, q2, q3}, {0, 1}, & q0, {q1})
K = {q0, q1, q2, q3}
∑ = {0, 1}
S = q0
F = q1
Función &: {q0, q1, q2, q3} * {0, 1} -> {q0, q1, q2, q3}
& (q0, 0) = q3
& (q3, 1) = q2
& (q0, 1) = q1
& (q1, 1) = q2

-Tabla de transición
Actual Siguiente
0 1 ʎ
→ q0 q3 q1 -
q2 Ǿ Ǿ q0
q3 Ǿ q2 -
# q1 Ǿ q2 -

- Identificación del Autómata Finito Determinista o Autómata Finito No


Determinista
El Autónoma del ejercicio C, es un Autónoma NO Determinado.
- Explicar las características del tipo de autómata
Procedimient Realice de manera detallada el procedimiento paso a paso de la conversión del
o de autómata según corresponda y según ejemplo revisado.
conversión - Paso 1… - Paso 2… - Paso 3…
paso a paso Autónoma general.
Paso a paso del autómata.
Conversión AFD
0 1
A = {0}U{} B = {3}U{} C = {1}U{}
B = {3}U{} {} U {} D = {2}U{0}
C = {1}U{} {} U {} D = {2}U{0}
D = {2}U{0} B = {3}U{} C = {1}U{}

0 1
→A B C
B D
D B C
#C D
Autómata En este espacio se presenta el autómata final
Final
convertido
Autómata Finito Determinista (AFD)

Practicar y Apoyándose en el simulador JFlap JFLAP (Anexo 1 - JFLAP) o VAS (Anexo 2-


verificar lo VAS) ejecutar los dos autómatas, el original y el autómata resultado final de la
aprendido 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.

Original.
Autómata Final

También podría gustarte