Professional Documents
Culture Documents
LENGUAJES FORMALES
INTEGRANTES:
GRUPO 301405_47
TUTOR
JHEIMER JULIAN SEPULVEDA
OBJETIVO GENERAL
OBJETIVOS ESPECIFICOS
1. Ejercicio 1
EJERCICIO A
TRABAJAR
a b
q0 q1, q3 -----
q1 ----- q2
q3 ----- q3,q2
q2 ----- -----
q1, q3 ----- q2,q3
q2,q3 ----- q2,q3
Estado inicial
Estado final
- Paso 3…
Autómata Final
convertido
2. Ejercicio 2
El diseño solicitado corresponde al diligenciamiento de la siguiente tabla:
EJERCICIO A
TRABAJAR
2. Ejercicio 2
EJERCICIO A
TRABAJAR
Caracterización En este espacio se realiza:
del autómata - Identificación del Autómata Finito Determinista o
Autómata Finito No Determinista.
- Paso 1
a b
q0 q1, q3 -
q1 - q2
q2 - -
q3 - q2, q3
- Paso 2
a b
q1, q3 - q2, q3
q2, q3 - q3, q2
q0 q1, q3 -
Autómata Final En este espacio se presenta el autómata final
convertido
Autómata original
Autómata resultado final
EJERCICIOS DE LA FASE 2
2. Ejercicio 3
El diseño solicitado corresponde al diligenciamiento de la siguiente tabla:
EJERCICIO # 3
- Paso 1.
Eliminando q1
Quedándonos de la siguiente manera
ER=(ab)*(a+ab)
ACTIVIDAD 2: Conversión de Autómatas Finitos Deterministas a
Autómatas
Finitos No deterministas (AFD a AFND) y viceversa
EJERCICIO A EJERCICIO # 3
TRABAJAR
Procedimiento a b
de conversión
A={0} U {2} B={1,3} U {-} C={2} U {2}
paso a paso
B={1,3} U {-} ----- D={2} U {-}
C={2} U {2} ----- -----
D={2} U {-} ----- -----
a b
>A B C
B ----- D
C ----- -----
D ----- -----
Autómata Final
convertido
Practicar y
verificar lo
aprendido
EJERCICIOS DE LA FASE 2
5. EJERCICIO 5
Σ = {a, b, c)
s = q0
F = q2
- Paso 2:
En este paso eliminaremos q2
- Paso 3:
En este paso quedaría q0 expresión regular de la
siguiente forma
Autómata Final En este espacio se presenta la expresión
convertido correspondiente al autómata trabajado.
ER= c*(b+ab)
5. Ejercicio 5
- Paso 2…
Se determina=
El alfabeto : ∑=0,1
Transición : λ
- Paso 3…
Tabla de transición
0 1
A={0} U {3} B={0,2} U {3} C={0,1} U {3}
B={0,2} U {3} B={0,2} U {3} D={0,1,3} U
{3}
C={0,1} U {3} E={0,2,3} U C={0,1} U {3}
{3}
D={0,1,3} U E={0,2,3} U C={0,1} U {3}
{3} {3}
E={0,2,3} U B={0,2} U {3} D={0,1,3} U
{3} {3}
- Paso 4…
Cuadro de transición del autómata finito
determinista
0 1
A B C
B B D
C E C
#D E C
#E B D
0010111
10000
101010
1110
1011101
Actividad Colaborativa
Actividad 3:
a b
# →A B C
B --- C
#C --- ---
3. Identifique los elementos (tupla, estado final, inicial, alfabeto,
etc.). Debe explicar y describir cada elemento y la función y
significado en el autómata. Conceptos y definiciones adicionales.
Conjunto A
δ (A, a) = {B}
δ (A, b) = {C}
Conjunto B
δ (B, a) = {--}
δ (B, b) = {C}
Conjunto C
δ (C, a) = {--}
δ (C, b) = {--}
Similitudes Diferencias
Las dos herramientas utilizan Java. JFlap, permite más funcionalidades
que VAS, vas solo permite AFD y
maquinas turin
Las dos herramientas permite Vas no visualiza las transiciones
diseñar autómatas AFND y AFD. por estado.
Las dos herramientas permiten JFlap permite visualizar las
entender las transiciones. aceptaciones de las entradas y
visualizar su recorrido por estados,
vas solo acepta entradas.
Tienen diferentes entornos. JFlap, tiene un entorno más
amigable y didáctico que VAS.
CONCLUSIONES