EJERCICIOS DE LA FASE FINAL
ACTIVIDAD INDIVIDUAL
ACTIVIDAD 1: Conversión de un Autómata Finito a Expresión Regular
1 2.
3. 4.
5
EJERCICIO A Registre aquí el Ejercicio a trabajar. Por favor
TRABAJAR: agregue la imagen:
1
Diagrama de Transición.
Caracterizació En este espacio se realiza:
n del autómata
- Identificación del Autómata Finito Determinista
o Autómata Finito No Determinista
- AUTOMATA FINITO NO DETERMINISTA
El autómata noes finito determinista (AFD) dado que no llega
desde un estado a uno solo con la misma transición, por ejemplo,
desde el estado q0 llega con la transición “a” al estado q 1 Y AL
ESTADO q2
- Explicar las características del tipo de autómata
AFD:Σ={a,b,}
Q={q0, q1,q2}
q0={qo}
F=(q2)
Donde:
AFD: Lenguaje de estados
Q(N): Cada uno de los Estados
Procedimiento Q0: estado inicial
de conversión F: Estado final
de Autómata
Finito a
Expresión Realice de manera detallada el procedimiento paso
Regular paso a a paso de la conversión del autómata a expresión
paso regular y según ejemplo revisado.
Tabla de Transición:
f(q0,a)=q1
f(q1,b)=q1
f(q1,b)=q2
f(q0,a)=q2
Aplicando el método de eliminación de estados:
Eliminando el estado Q1:
Se halla el automata
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.
L={x∈Σ∗/f(q0,x)∈F}
a+ab*b
EJERCICIO A Registre aquí el Ejercicio a trabajar. Por favor
TRABAJAR: agregue la imagen:
2
Diagrama de Transición.
Caracterizació En este espacio se realiza:
n del autómata
- Identificación del Autómata Finito Determinista
o Autómata Finito No Determinista
- AUTOMATA FINITO NO DETERMINISTA
El autómata noes finito determinista (AFD) dado que no llega
desde un estado a uno solo con la misma transición, por ejemplo,
desde el estado q0 llega con la transición “a” al estado q 1 Y AL
ESTADO q2
- Explicar las características del tipo de autómata
AFD:Σ={a,b,}
Q={q0, q1,q2}
q0={qo}
F=(q2)
Donde:
AFD: Lenguaje de estados
Q(N): Cada uno de los Estados
Procedimiento Q0: estado inicial
de conversión F: Estado final
de Autómata
Finito a
Expresión Realice de manera detallada el procedimiento paso
Regular paso a a paso de la conversión del autómata a expresión
paso regular y según ejemplo revisado.
Tabla de Transición:
f(q0,a)=q1
f(q0,a)=q2
f(q0,b)=q0
f(q1,b)=q2
Aplicando el método de eliminación de estados:
Eliminando el estado Q1:
Se halla el automata
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.
L={x∈Σ∗/f(q0,x)∈F}
b*(a+ab)
EJERCICIO A Registre aquí el Ejercicio a trabajar. Por favor
TRABAJAR: agregue la imagen:
3
Diagrama de Transición.
Caracterizació En este espacio se realiza:
n del autómata
- Identificación del Autómata Finito Determinista
o Autómata Finito No Determinista
- AUTOMATA FINITO NO DETERMINISTA
El autómata noes finito determinista (AFD) dado que no llega
desde un estado a uno solo con la misma transición, por ejemplo,
desde el estado q0 llega con la transición “a” al estado q 1 Y AL
ESTADO q2
- Explicar las características del tipo de autómata
AFD:Σ={a,b,}
Q={q0, q1,q2}
q0={qo}
F=(q2)
Donde:
AFD: Lenguaje de estados
Q(N): Cada uno de los Estados
Procedimiento Q0: estado inicial
de conversión F: Estado final
de Autómata
Finito a
Expresión Realice de manera detallada el procedimiento paso
Regular paso a a paso de la conversión del autómata a expresión
paso regular y según ejemplo revisado.
Tabla de Transición:
f(q0,b)=q0
f(q0,a)=q1
f(q1,b)=q2
f(q0,a)=q2
f(q2,b)=q0
Aplicando el método de eliminación de estados:
Eliminando el estado Q1:
Se halla el automata
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.
L={x∈Σ∗/f(q0,x)∈F}
(b*(a+ab)b)*b*(a+ab)
EJERCICIO A Registre aquí el Ejercicio a trabajar. Por favor
TRABAJAR: agregue la imagen:
4
Diagrama de Transición.
Caracterizació En este espacio se realiza:
n del autómata
- Identificación del Autómata Finito Determinista
o Autómata Finito No Determinista
- AUTOMATA FINITO NO DETERMINISTA
El autómata noes finito determinista (AFD) dado que no llega
desde un estado a uno solo con la misma transición, por ejemplo,
desde el estado q0 llega con la transición “a” al estado q 1 Y AL
ESTADO q2
- Explicar las características del tipo de autómata
AFD:Σ={a,b,}
Q={q0, q1,q2}
q0={qo}
F=(q2)
Donde:
AFD: Lenguaje de estados
Q(N): Cada uno de los Estados
Procedimiento Q0: estado inicial
de conversión F: Estado final
de Autómata
Finito a
Expresión Realice de manera detallada el procedimiento paso
Regular paso a a paso de la conversión del autómata a expresión
paso regular y según ejemplo revisado.
Tabla de Transición:
f(q0,a)=q1
f(q1,b)=q2
f(q2,a)=q1
f(q0,a)=q2
Aplicando el método de eliminación de estados:
Eliminando el estado Q1:
Se halla el autómata
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.
L={x∈Σ∗/f(q0,x)∈F}
(a+ab)(ab)*
EJERCICIO A Registre aquí el Ejercicio a trabajar. Por favor
TRABAJAR: agregue la imagen:
5
Diagrama de Transición.
Caracterizació En este espacio se realiza:
n del autómata
- Identificación del Autómata Finito Determinista
o Autómata Finito No Determinista
- AUTOMATA FINITO NO DETERMINISTA
El autómata noes finito determinista (AFD) dado que no llega
desde un estado a uno solo con la misma transición, por ejemplo,
desde el estado q0 llega con la transición “a” al estado q 1 Y AL
ESTADO q2
- Explicar las características del tipo de autómata
AFD:Σ={a,b,}
Q={q0, q1,q2}
q0={qo}
F=(q2)
Donde:
AFD: Lenguaje de estados
Q(N): Cada uno de los Estados
Procedimiento Q0: estado inicial
de conversión F: Estado final
de Autómata
Finito a
Expresión Realice de manera detallada el procedimiento paso
Regular paso a a paso de la conversión del autómata a expresión
paso regular y según ejemplo revisado.
Tabla de Transición:
f(q0,a)=q2
f(q0,b)=q0
f(q0,a)=q1
f(q1,a)=q1
f(q1,b)=q2
f(q2,a)=q1
Aplicando el método de eliminación de estados:
Eliminando el estado Q1:
Se halla el autómata
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.
L={x∈Σ∗/f(q0,x)∈F}
(a+ab)(ab)*
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
El diseño solicitado corresponde al diligenciamiento de la siguiente tabla:
EJERCICIO A Registre aquí el Ejercicio a trabajar. Por favor
TRABAJAR agregue la imagen
Caracterizació En este espacio se realiza:
n del autómata - Identificación del Autómata Finito Determinista
o Autómata Finito No Determinista
- Explicar las características del tipo de autómata
El diagrama representa un autómata finito determinista debido a que cumple con
las propiedades de tupla y tiene un lenguaje determinado.
- Paso 2…
Representar mediante lenguaje formal el autómata
AFD (Σ,Q,f,q0,F)
Σ={a,b,c} lenguaje de entrada
Q={q0, q1,q2,q3} conjunto infinito de los estado del autómata
q0={q0} estados iniciales del autómata
F=(q3) estado final del autómata
Tabla de estados
Estado A B C
Q0 Q1, Q2 Q0
Q1 Q3 Q2
Q2 Q3 Q1
Q3 Q1,
Procedimiento
Validando cada uno de los elementos de la tabla
de conversión Tabla de estados
paso a paso
Evaluacion 1
Estado A B C
Q0 Q1 Q2 Q0
Evaluacion 2
Estado A B C
Q1 Q3 ---- -----
Evaluacion 3
Estado A B C
Q2 Q3 ---- -----
Evaluacion 4
Estado A B C
Q2 Q3 ---- -----
Autómata Final
convertido
Practicar y Apoyándose en el simulador JFlap o VAS ejecutar
verificar lo los dos autómatas, el original y el autómata
aprendido 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.
Actividades a desarrollar
Actividades Colaborativas:
El trabajo se desarrolla demostrando el procedimiento realizado paso a paso, no se
tendrá en cuenta las respuestas o simulaciones en jFlap o VAS.
Ejercicio 1:
De cada uno de los siguientes autómatas, realizar el procedimiento paso a paso de
hallar la expresión regular, el lenguaje regular y explicar el tipo de autómata que es:
1. 2.
1. 4.
QUEDA PENDIENTE……
Teniendo en cuenta el siguiente autómata realizar los puntos siguientes:
Ejercicio 2: Realizar la conversión de AFD a AFND o de AFND a AFD según
corresponda
Ejercicio 3: Realice la minimización paso a paso del autómata finito determinista
Ejercicio 4: Realizar el autómata a Pila de L = {(a+b*+ac*)*}
Ejercicio 5: Realizar una máquina de turing de autoría propia y realice:
a. Recorra la máquina con al menos una cadena válida explicando lo sucedido
tanto en la cinta como en la secuencia de entrada.
b. Identifique una cadena que no sea válida y justifique el porqué.
c. Ejecute el RunTest a una cadena aceptada que tenga la menos cinco símbolos.
d. Identifique en que momento la máquina se detiene.
