Documente Academic
Documente Profesional
Documente Cultură
CODIGO: 1002709425
TUNJA-BOYACA
2020
EJERCICIO 1 Autómata a Expresión regular Ejercicio D
5-tupla (K , ∑, δ , s , F,)
M = {q 0 , q 1, q 2 } , { a , b , c } ,δ , q 0 { q 1 }
∑=a , b , c
K¿ { q 0 , q 1 , q 2 }
s=q 0
F=q 1
δ ( q 0 , a )=q 1
δ ( q 0 , b )=q 2
δ ( q 2 ,a )=q 2
δ ( q 2 ,b )=q 1
δ ( q 1, c )=q 2
- Plasme la tabla de transición - Identificación del Autómata.
a b c
Q0 Q1 Q2
Q2 Q2 Q1
#Q1 Q2
RTA/ el autómata es determinista porque no salen dos caminos con la misma letra del mismo
estado.
EJERCICIO 2 A TRABAJAR D
5-tupla (K , ∑, δ , s , F,)
Donde:
M = {q 0 , q 1, q 2 } , { a , b , c , λ } ,δ , q 0 { q 2 }
∑=a , b , c , λ
s=q 0
F=q 2
δ ( q 0 , a )=q 0
δ ( q 0 , λ )=q 2
δ ( q 0 , a )=q 1
δ ( q 2 ,aλ )=q 2
δ ( q 1, b )=q 0
δ ( q 1, c )=q 2
a b c λ
Q0 Q0, Q1 Q2
Q1 Q0 Q2
#Q2 Q2 Q2
RTA/ Es un Autómata Finito No Determinista ya que de un estado salen dos transiciones con la
misma letra a
Realice de manera detallada el procedimiento paso a paso de la conversión del autómata según
corresponda y según ejemplo revisado.
a b c
B{0,1,2}U{2
A{0}U{2} C{}U{} C{}U{}
}
a b c
A B - -
#B B A D
#D A - -
Apoyándose en el simulador JFlap JFLAP (Anexo 1 - JFLAP) o VAS (Anexo 2- VAS) ejecutar
los dos 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.
Autómata original