EJERCICIOS DE LA FASE 1

ACTIVIDAD INDIVIDUAL

De acuerdo al último dígito de su cédula o tarjeta de identidad, identifique el ejercicio

asignado en la siguiente tabla:

Último dígito Ejercicio

de la Cédula o
TI
1y9 Ejercicio 1
2y8 Ejercicio 2
3y7 Ejercicio 3
4y6 Ejercicio 4
5y0 Ejercicio 5

ACTIVIDAD 1: Conversión de un Autómata Finito a Expresión Regular

1. Ejercicio 1 2. Ejercicio 2

3. Ejercicio 3 4. Ejercicio 4
 5. Ejercicio 5

El diseño solicitado corresponde al diligenciamiento de la siguiente tabla:

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
Tomando en cuenta la tabla de transición del
autómata es posible determinar que es un AFD ya
que no se presenta el caso de llegar a dos estados
finales, el uso de transiciones vacías.

Tabla 1. Tabla de Transiciones

Estado TRANSICIÓN

a b C

q0 q1 q2 q0

q1 - q2 -

q2 - - -
 Fuente: El presente documento
- Explicar las características del tipo de autómata

A= [Q, Ʃ, δ, q0, F]

Donde se tienen las tuplas del autómata finito:

Q: Es el conjunto de estados del autómata
Ʃ: Es el alfabeto del autómata definido
δ: Son las transiciones presentes en el autómata
q0: Es el estado inicial
F: Conjunto de estados finales
De donde la forma matemática del autómata es:

A = [(q0, q1, q2), (a, b, c), δ, q0, q2]

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 Aplicando la eliminación de estados se tiene:
Regular paso a
paso

- Paso 1: Eliminado el estado q1

 - Paso 2: Eliminando el estado q0

De donde la ER será: b
c*(b+ab)

Aplicando la ley de Arden

Paso 1: Definiendo ecuaciones
𝑞0 = 𝑐𝑞0 + 𝑎𝑞1 + 𝑏𝑞2
𝑞1 = 𝑞2
𝑞2 = 𝜆
Paso 2: Reemplazando q2 en q1
𝑞1 = 𝑏𝜆 = 𝑏
Paso 3: Reemplazando q1 y q2 en q0
𝑞0 = 𝑐𝑞0 + 𝑎𝑏 + 𝑏𝜆
𝑞0 = 𝑐𝑞0 + 𝑎𝑏 + 𝑏
Paso 4: Como se presenta el caso de q0 en ambos
lados de la igualdad se aplica la ley de arden.
𝑞0 = 𝑐 ∗ (𝑎𝑏 + 𝑏)
Dando como ER
𝑐 ∗ (𝑎𝑏 + 𝑏)
Autómata Final En este espacio se presenta la expresión
convertido correspondiente al autómata trabajado.
 Lenguaje En este espacio agrega el lenguaje regular
regular correspondiente a la expresión regular.
𝑐 ∗ (𝑎𝑏 + 𝑏)
Sea (ab+b) el lenguaje 1 notado L1. Sea c* el
lenguaje 2 notado por L2, entonces L1={ab}U{b} y
L2={c}*={ci/i=0} por lo tanto L=L1UL2 se
especifica de la siguiente forma
𝐿 = {𝑢𝑣 / 𝑢 ∈ 𝐿1, 𝑣 ∈ 𝐿2} = {𝑐} ∗ ({𝑎𝑏} ∪ {𝑏})/𝑖 = 0

ACTIVIDAD 2: Conversión de Autómatas Finitos Deterministas a Autómatas

Finitos No deterministas (AFD a AFND) y viceversa

1. Ejercicio 1 2. Ejercicio 2

3. Ejercicio 3 4. Ejercicio 4
 5. Ejercicio 5

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

TRABAJAR
Caracterizació En este espacio se realiza:
n del - Identificación del Autómata Finito Determinista o Autómata
autómata Finito No Determinista
Tomando en cuenta la tabla de transición del autómata es
posible determinar que es un AFND ya que se presenta el caso
de llegar a dos estados finales con un mismo elemento del
lenguaje, por ejemplo (q0, 0) lleva a (q0, q2) y transiciones
vacías para q3 a q0.

Tabla 2. Tabla de Transiciones

TRANSICIÓN
Estado
0 1 ʎ
q0 q0, q2 q1 q3
q1 q3 q0 -
q2 q0 q3 -
q3 q2 q0 -
Fuente: El presente documento

- Explicar las características del tipo de autómata

A= [Q, Ʃ, δ, q0, F]

Donde se tienen las tuplas del autómata finito:

 Q: Es el conjunto de estados del autómata
Ʃ: Es el alfabeto del autómata definido
δ: Son las transiciones presentes en el autómata
q0: Es el estado inicial
F: Conjunto de estados finales
De donde la forma matemática del autómata es:

A = [(q0, q1, q2,q3), (0,1, ʎ), δ, q0, q3]

Procedimiento Realice de manera detallada el procedimiento paso a paso de la

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

- Paso 1.
Identificar la cerradura para el estado 0
A{0} U{3}

Validamos los valores del conjunto con cada uno de los alfabetos
del autómata.
0 1
A{0} U{3} B{0,2} U {3} C{0,1) U {3]
Dando B y C
- Paso 2
Se repite el proceso para el conjunto B
0 1
B{0,2} U {3} B{0,2} U {3} D{0,1,3} U {3}

Dando los conjuntos B y D

- Paso 3
0 1
C{0,1) U {3] E{0,2,3) U {3] C{0,1) U {3]
Dando los conjuntos E y C

- Paso 4
0 1
D{0,1,3} U {3} E{0,2,3) U {3] C{0,1) U {3]
 Dando los conjuntos E y C

- Paso 5
0 1
D{0,1,3} U {3} E{0,2,3) U {3] C{0,1) U {3]

Dando los conjuntos E y C

- Paso 6
0 1
E{0,2,3) U {3] B{0,2} U {3} D{0,1,3} U {3}

Dando los conjuntos B y D

Como resultado se obtiene la siguiente tabla de transiciones

0 1
iA B C
#B B D
C E C
D E C
#E B D

Se tiene que el estado inicial será el A y los estados finales B y E

por tener dentro de su conjunto el estado q3.
Autómata Final En este espacio se presenta el autómata final
convertido
Practicar y Apoyándose en el simulador JFlap o VAS ejecutar los dos
verificar lo 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.

Obteniendo la expresión regular del autómata se tiene

De q0 a q1
00*
De q0 a q1
11*0(10)*00*
De q0 a q4
11*0(10)*(110)*
De donde se obtiene la ER
00*(11*0(10)*00*+11*0(10)*(110)*)
Para la cual son expresiones validas
011010011010110
0110100
011010110
Y son expresiones no validas
1011
010011
01
El diseño solicitado corresponde al diligenciamiento de la siguiente tabla: