19
19
19
Presentado por:
Tutor:
Colombia
2021
Ejercicios 1: Autómata de pila
EJERCICIO A
TRABAJAR
Alfabeto de la pila
S= (𝜆, a);
Estado inicial q1 ∈ Q;
q1 ∈ Q = q0;
Función de transición 𝛿= Q x ∑ x S → Q x S
𝛿= q0 x a x 𝜆 = q0 x a;
𝛿= q0 x b x a = q1 x 𝜆;
𝛿= q1 x b x a = q1 x 𝜆;
Tabla de transición
a b
q0, 𝜆 q0,a -
q0,a - q1, 𝜆
q1,a - q1, 𝜆
Cuadro comparativo
La aceptación de la La aceptación de la
cadena no depende pila no depende de la
del estado de información que
aceptación sino de la contenga la pila sino
información que tiene del estado que finalice
la pila. al terminar con la
lectura de la cadena.
1. S = aSb
2. S= aS
3. S= 𝜆
Cadena: aaabb
Del ejercicio A es
ACEPTADAercicio
a trabajar
Q={q 0 , q 1 , q 2 }
∑ ¿{0 , 1, a , Z , λ }
q 0∈ Q={q 0 }
F ⊆ Q={ q 2 }
⌈={ λ , a , 0 , 1}
A0 ∈ ⌈ = { λ } Información inicial de la pila
.
δ ( q 0 , 0 , λ ) ,(q 0 ,a)
δ ( q 0 , 1, a ) , (q 1 , λ)
δ ( q 1 ,1 , a ) ,(q 1, λ)
δ ( q 1 , λ , Z ) ,(q 2 , X )
Tabla de transición:
Paso 2
El estado q0 se lee con un 0
No se desapila nada
Luego de que se apila una (a) en q0, queda una (a) en el nivel
superior de la pila
Paso 3
En q0 se lee un (0)
Indica no desapilar nada
Despues de apilar una (a) en q0, queda una (a) en el nivel superior
de la pila
Paso 4
En el estado q0 se lee un 0
Indica que no se desapile nada
Despues de que se apile una (a) en q0, queda una (a) en el nivel
superior de la pila
Paso 5
Transición entre q0 y q1 se lee con un (1)
Indica que se desapile una (a)
Depsues que no se apile nada en q1, queda una (a) en el nivel
superior de la pila
Paso 6
En el estado q1 se lee un (1)
Indica que se desapile una (a)
Despues que no se apile nada en q1, queda una (a) en el nivel
superior de la pila
Paso 7
Practicar y
verificar lo Se realiza proceso en simulador:
aprendido
Lenguaje regular Agregar el lenguaje regular del autómata.
R/ 0*11*
𝐿 = {0𝑚. 1. 1𝑚 / 𝑚 > 0}
Identifique su gramática (de forma manual) por la derecha o izquierda y la caracteriza. Debe incluir
el diagrama de estados con los componentes de la gramática asociados a las variables y a las
constantes.
m m
G → x . y . z donde , x =0 , y=1 , z =1
G →0 x∨1 y
Z→1z
𝑞0 → 0𝑞0|1𝑞1
𝑞1 → 1𝑞1
Transición de estados
0 1
→ # q0 q0 q1
q1 λ q1
# q2 λ λ
Salida
0 1
→ # q0 a λ
q1 λ λ
# q2 λ λ
EJERCICIO A
TRABAJAR
1. Σ= {0, 1}
2. Γ = {Z, A}
3. Q = {q0, q1}
4. A0 = ʎ
5. q0 ∈ Q = q0
6. F ⊆ Q = {q0, q1}
7. f = función de transición
TABLA DE TRANSICIONES
0Z 0A 1A
ESTADOS
q0 q 0, A q 0, AA q 1, ʎ
q1 q 1, B q 1, ʎ
Procedimiento de CADENA 000111
paso a paso del
recorrido de una
cadena
Recorrido cadena
Lectura de la cinta
0 0 0 1 1 1
A
z0
0 0 0 1 1 1
A
A
z0
0 0 0 1 1 1
A
A
A
z0
0 0 0 1 1 1
A
A
z0
0 0 0 1 1 1
A
z0
0 0 0 1 1 1
z0
Practicar y verificar
lo aprendido
EJERCICIO A TRABAJAR
Alfabeto de pila
r ={λ , A , Z }
Función de transición
δ=( q 0 ,0 , Z ) , (q 0 , A )
δ=( q 0 ,0 , A ) ,(q 0 , AA)
δ=( q 0 ,1 , A ) ,(q 1 , λ)
δ=( q 1 , 1 , A ) ,(q 1 , λ)
0 0 1 1
δ=( q 0 ,0 , Z ) , (q 0 , A )
δ=( q 0 ,0 , A ) ,(q 0 , AA)
TRANSICIONES
δ=( q 0 ,1 , A ) ,(q 1 , λ)
δ=( q 1 , 1 , A ) ,(q 1 , λ)
0 0 1 1
A A
δ=( q 0 ,0 , Z ) , (q 0 , A )
δ=( q 0 ,0 , A ) ,(q 0 , AA)
TRANSICIONES
δ=( q 0 ,1 , A ) ,(q 1 , λ)
δ=( q 1 , 1 , A ) ,(q 1 , λ)
0 0 1 1
δ=( q 0 ,0 , Z ) , (q 0 , A )
δ=( q 0 ,0 , A ) ,(q 0 , AA)
TRANSICIONES
δ=( q 0 ,1 , A ) ,(q 1 , λ)
δ=( q 1 , 1 , A ) ,(q 1 , λ)
0 0 1 1
δ=( q 0 ,0 , Z ) , (q 0 , A )
δ=( q 0 ,0 , A ) ,(q 0 , AA)
TRANSICIONES
δ=( q 0 ,1 , A ) ,(q 1 , λ)
δ=( q 1 , 1 , A ) ,(q 1 , λ)
Practicar y verificar lo
aprendido
Lenguaje regular n n
L={0 ∗1 , donde n≥ 0 }
P = {S → λ , S → 0S1 } ó { S → λ | 0S1 }
1
0
0 1
λ
Ejercicio E
Tarea 3 Construcción de Autómatas de Pila
EJERCICIO A TRABAJAR
Estado 0 1
q0 q2 q3
q1 q3 q2
q2 q0 q4
q3 q1 q5
q4 q6 q5
q5 q2 q3
q6 q4 q0
x={q5 }
y={q 0 , q 1 , q 2 , q 3 ,q 4 , q6 }
Estado 0 1
q0 y y
q1 y y
q2 y y
q3 y x
q4 y x
q6 y y
y , y } q 0 ,q 1 ,q 2 ,q 6
y , x } q3 , q 4
x={q5 }
Q={q 0 , q 1 , q 2 , q 6 }
Z={q 3 , q4 }
x 0 1
q5 Q Z
Q 0 1
q0 Q Z
q1 Z Q
q2 Q Z
q6 Z Q
Z 0 1
q3 Q x
q4 Q x
x={q5 }
N={q 0 , q 2 }
P={q 1 , q 6 }
Z={q 3 , q4 }
x 0 1
q5 N Z
N 0 1
q0 N Z
q2 N Z
P 0 1
q1 Z N
q6 Z N
Z 0 1
q3 P X
q4 P X
0 1
X N Z
N N Z
P Z N
Z P X
δ ( N , 0 )={ N }
δ ( N , 1 )= { Z }
δ ( P , 0 ) ={ Z }
δ ( P , 1 )= { N }
δ ( Z , 0 )= { P }
δ ( Z ,1 ) ={ X }
δ ( X ,0 )={ N }
δ ( X ,1 ) ={ Z }
Tabla de transiciones
Estado 0 1
N N Z
P Z N
Z P X
X N Z
Caracterización del 5−tupla{ K ,∑ ,б , s , X }
autómata parte teórica
Conjunto de estados
N={qo , q 1 , q 2 , q 3 , q 4 , q 5 , q 6 }, q 0{q 5 }
Alfabeto
ε =(0 ,1)
Estado inicial
S=q 0
Estado final
F=(q 5)
Estados finales
X =(q 5)
Los estados no aceptadores son:
Y = ( q 0 , q 1 , q 2 , q 3 , ,q 4 , q 6 )
Tabla de transiciones
0 1
→q0 q2 q3
q1 q3 q2
q3 q1 q5
q5 q2 q3
q2 q0 q4
q4 q6 q5
#q6 q4 q0
Validación de cadenas
Practicar y verificar lo
aprendido El autómata Se inicia en el estado “N” en donde lee el primer digito
que es 0 y este permanece en N
García, P., Pérez, T., Ruiz, J., Segarra, E., Sempere, J. M., & de Parga, M. V.
(2001). Teoría de autómatas y lenguajes formales (pp. 32-44).
Alfaomega.