27-Fase 6
27-Fase 6
27-Fase 6
FASE 6: DEBATIR:
GENERAR, DETERMINAR E IMPLEMENTAR SOLUCIONES A LOS
EJERCICIOS PLANTEADOS
PRESENTADO POR:
JUAN PABLO AYALA
COD. 1.110.507.132
OSCAR JAVIER GARCIA
COD. 1.105.614.321
HERNAN DANIEL CAZARES GAITAN
COD. 1.110.491.450
PRESENTADO A:
EDGAR ANTONIO CORTES
TUTOR
A.
B.
C.
A.
EXPRESION REGULAR:
a b
q0 q0 q2
q1 q1 q1
q2 q2 q1
a∗ ba∗
LENGUAJE REGULAR:
El Autómata presenta en su estructura el siguiente Lenguaje Regular:
L (M) = lenguaje regular
W = cadena de caracteres
Q = {q 0, q 2, q1, }
Σ ∗ = Lenguaje universal.
Σ = {a, b}
TIPO DE AUTOMATA:
EXPRESION REGULAR:
0 1
q0 q1 q0
q1 q2 q0
q2 q2 q0
Expresión definida:
((0∗ 1 + 01)∗ 000∗ 1)∗ (1 + 01)∗ 000∗
Σ ∗ = Lenguaje universal.
Σ = {0,1}
TIPO DE AUTOMATA:
El tipo de autómata es un Finito Determinista o AFD, ya que para cada estado en
que se encuentre el autómata, y con cualquier símbolo del alfabeto leído, existe
siempre no más de una transición posible desde ese estado y con ese símbolo.
C.
EXPRESION REGULAR:
0 1 ʎ
q0 q2 q1 -
q1 - q1 -
q2 q1 - q3
q3 - q1 -
Autómata en JFLAP:
LENGUAJE REGULAR:
De acuerdo a lo planteado en el autómata se establece el siguiente lenguaje con
cada uno de sus ítems así:
L (M)= lenguaje regular
W= cadena de caracteres
Q = {q 0, q 2, q1, }
Σ ∗ = Lenguaje universal.
Σ = {0,1, λ}
TIPO DE AUTOMATA:
El tipo de autómata es un Finito Determinista o AFD, ya que para cada estado en
que se encuentre el autómata, y con cualquier símbolo del alfabeto leído, existe
siempre no más de una transición posible desde ese estado y con ese símbolo.
Ejercicio No. 2
De esta manera seguimos llenando el cuadro hasta haber agotado todas las
alternativas del autómata.
Ejercicio No. 3
M={A,B,C,D,E,G,I,J,K,L},{a,b,c},δ,A,{D,E,K,I,L}
K={A,B,C,D,E,G,I,J,K,L}---(estados)
Σ= {a, b, c} --- (alfabeto)
δ= {A} --- (estado inicial)
F= {D, E, K, I, L} --- (estados finales)
Tabla de transiciones
ESTADO a b c
A B C D
B E C G
C B C D
D I G C
E I G C
G J G G
I K E G
J J G G
K B D L
L K E G
Conjunto Aceptadores
X = {D, E, K, I, L}
Conjunto No Aceptadores
Y = {A, B, C, G, J}
EST a b c
D X Y Y
E X Y Y
K Y X X
I X X Y
L X X Y
EST a b c
A Y Y X
B X Y Y
C Y Y X
G Y Y Y
J Y Y Y
P = {D, E, B}
Q= {I, L}
R= {A, C}
S= {G, J}
T= {K}
CONJUNTO P
a b c
D Q S R
E Q S R
B P R S
CONJUNTO Q
a b c
I T P S
L T P S
CONJUNTO R
a b c
A P R P
C P R P
CONJUNTO S
a b c
G S S S
J S S S
CONJUNTO T
a b c
K P P Q
Q= {I, L}
R= {A, C}
S= {G, J}
T= {K}
U= {B}
V= {D, E}
CONJUNTO Q
a b c
I T P S
L T P S
CONJUNTO R
a b c
A P R P
C P R P
CONJUNTO S
a b c
G S S S
J S S S
CONJUNTO T
a b c
K P P Q
CONJUNTO U
a b c
K U V Q
CONJUNTO V
a b c
B V R S
TABLA DE TRANSICIONES
ESTADOS a b c
Q T P S
R P R P
S S S S
T P P Q
U U V Q
V V R S
Ejercicio No. 4
Ejercicio No. 5
Realizar una máquina de Turing
Transiciones
𝜎(𝑞1, 𝑎) = (𝑞1, 𝑎, 𝑅)
𝜎(𝑞1, 𝑏) = (𝑞1, 𝑎, 𝑅)
𝜎(𝑞1, 𝐵) = (𝑞2, 𝐵, 𝐿)
Recorra la máquina con al menos una cadena válida explicando lo sucedido tanto
en la cinta como en la secuencia de entrada
a b b a B
q1
a b b a B
q1
a a b a B
q1
a a a a B
q1
a a a a B
q1
a a a a B
q2
De forma manual se describe la cadena valida resaltando con color amarillo los
estados y la dirección en la que deben proceder, como es el caso de la última
transición que en este caso cambia de sentido en el caso de este ejercicio a la
izquierda.
Identifique una cadena que no sea válida y justifíquela porque
a b b a B
q1
a b b a B
q1
a a b a B
q1
a a a a B
q1
a a a a B
q1
a a a a B
q2
Esta cadena es invalida porque en la parte final no cambia de sentido a la
izquierda por tanto es incorrecta
Ejecute el RunTest a una cadena aceptada que tenga la menos cinco símbolos
- http://ocw.uc3m.es/ingenieria-informatica/teoria-de-automatas-y-lenguajes-
formales/ejercicios/ejercicios-tema-6-automatas-a-pila
- http://ocw.uc3m.es/ingenieria-informatica/teoria-de-automatas-y-lenguajes-
formales/ejercicios/ejercicios-tema-6-automatas-a-pila
- http://www.exa.unicen.edu.ar/catedras/ccomp1/ApunteAutomatasPila.pdf
- https://www.youtube.com/watch?v=VDqII36S7U4
- https://www.youtube.com/watch?v=bhjDjCkS9Hk