Tema6 - UC3M - TALF SANCHIS LEDEZMA IGLESIAS JIMENEZ ALONSO PDF

6.
Autómatas a Pila
Araceli Sanchis de Miguel
Agapito Ledezma Espino Grado Ingeniería InformáDca
José A. Iglesias Mar<nez
Teoría de Autómatas y Lenguajes Formales
Beatriz García Jiménez
Juan Manuel Alonso Weber
Definición
Introducción
Equivalencias
Lenguajes Tipo 2
A. Sanchis, A. Ledezma, J. Iglesias, B. García, J. Alonso

2
Jerarquía de Lenguajes Generales
Lenguajes
Lenguajes Dependientes

del Contexto
Lenguajes Independientes del

Contexto No Deterministas
Lenguajes Aceptados por

Autómatas a Pila
Deterministas
Lenguajes
Regulares
3
Jerarquía de Lenguajes


Gramá
;cas R
egular
es Gramá
;cas In
dep
Conte endientes
xto
Autóm
atas F
initos
Autóm
atas a
Pila
Lengu
ajes R
e gulare
s (ER)
Lengu
ajes In
depen
Conte diente 4
xto s
Limitaciones de los AF

Falta de memoria
No pueden reconocer expresiones matemáDcas,

pej. (2x+(2+n/25)), mas general el lenguaje XnYn
( (
q r s ....
) )
5
Teoremas
1 Para cada gramáDca G independiente del contexto,

existe un autómata de pila M tal que

L(G)=L(M)
2 Para cada autómata de pila M, existe una gramáDca G

independiente del contexto tal que

L(M)=L(G)
3 Existe un lenguaje independiente del contexto que no

es el lenguaje aceptado por ningún autómata de pila
determinista 6
Definición
Introducción
Equivalencias
Lenguajes Tipo 2

7
De<inición de AP

CINTA
/ 2 5 ) )
Movimiento de la cinta
B
PILA
Q ...

CONTROL
DE
...
ESTADOS
Ao 8
Aceptación por estados <inales

CINTA
1 0 1 1 0 Palabra leída
Movimiento de la cinta Pila NO necesariamente

vacía
PILA
B
qf ...
9
Ao
Aceptación por vaciado de pila

CINTA
1 0 1 1 0 Palabra leída
Movimiento de la cinta Pila NECESARIAMENTE

vacía
PILA
q
10
De<inición formal

AF Σ Q qo f F
Gestión
de Pila
AP Σ Γ Q Ao qo f F 11
AP: (Σ, Γ, Q, Ao, qo, f, F)

Σ : alfabeto de entrada Palabras: x, y, z, ax, ay...
Γ : alfabeto de pila Palabras: X, Y, Z, AX, AY...
Q : conjunto finito de estados Q = {p,q,r,...}
Ao ∈ Γ : símbolo inicial de la pila
qo ∈ Q : estado inicial del autómata
f : función de transición
F ⊂ Q : conjunto de estados finales
12
Transición
f(q,a,A)={(q1,Z1),(q2, Z2),...,(qn, Zn)}

a,A;Yn
q qn
1. Leer un símbolo de la entrada

2. Extraer un símbolo de la pila
3. Insertar una palabra en la pila
(q,a,A;qn,Yn) 4. Pasar a un nuevo estado 13
Función de Transición
f : Q x (Σ ∪ {λ} ) x Γ → P(Q x Γ *)

Transiciones dependientes AP
de la entrada Deterministas
Q x Σ x Γ Q x Γ*
Transiciones independientes AP No

de la entrada Deterministas
Q x λ x Γ P (Q x Γ*)
14
T. independientes de la entrada

Sea la transición:
f(q, λ ,A) = {(q1 ,Z1), (q2, Z2),...,(qn, Zn)}

donde:
q, qi ∈ Q
A∈ Γ
Zi ∈ Γ*
15
T. independientes de la entrada
z

.. .. a .. .. (q, az, AX) → (p, az, X)
f(q,λ,A) = (p, λ)
A
...
q
p X
...
16
T. dependientes de la entrada

Sea la transición:
f(q,a,A) = {(q1,Z1), (q2,Z2),...,(qn,Zn)}
donde:
q, qi ∈ Q
a ∈ Σ
A ∈ Γ
Zi ∈ Γ* 17
T. dependientes de la entrada
z

.. .. a .. .. (q, az, AX) → (p, z, X)
f(q,a,A) = (p, λ)
A
...
q
p X
...
18
Descripción Instantánea

Permite describir sencillamente la configuración del
AP en cada momento
Terna (q,x,z) donde:

q∈Q, x∈Σ*, z∈Γ*
ConDene:
•  el estado actual (q)
•  lo que queda por leer de la entrada (x) y
•  el símbolo en la cima de la pila (z)
19
Descripción Instantánea

Movimiento: (q,ay,AX)⊢(p,y,YX)
describe el paso de una descripción
instantánea a otra
Sucesión de movimientos:

(q,ay,AX) ⊢*(p,y,YX)
representa que desde la primera
descripción instantánea se puede
alcanzar la segunda 20
Autómatas a Pila Deterministas

(Σ,Γ,Q,A0,q0,f,F) es determinista si verifica:

∀q∈Q, A∈Γ, | f (q,λ,A) | >0 ⇒ f (q,a,A)=Φ ∀a∈Σ

∀q∈Q, A∈Γ, ∀a∈Σ ∪{λ}, | f (q,a,A) | <2
si (p, x, y; q, z) y (p, x, y; r, w) son transiciones de un
autómata a pila determinista entonces
q≡r, z=w
21
Lenguaje aceptado por un AP

Por vaciado de pila

LVAP={x|(q0,x,A0) ⊢*(p,λ,λ), p∈Q, x∈Σ*}
Por estado final

LFAP={x|(q0,x,A0)⊢*(p,λ,X), p∈F, x∈Σ*,X∈Γ*}
22
Ejemplo

LENGUAJE: algunas instrucciones
var ::= num; (asignación)

if cond
then
BLOQUE (asignación ó if)

if cond
then
else
23
Ejemplo
AP= ({if, then, else, ::=, var, num, cond, ;},

{S, B, C, F, N, P, T, E}, {q}, q, S, f, φ)

f(q, var, S) = {(q, FNP)}
f(q, if, S) = {(q, CTBP), (q, CTBEBP)}
f(q, if, B) = {(q, CTB), (q, CTBEB)}
f(q, var, B) = {(q, FN)}
f(q, cond, C) = {(q, λ)}
f(q, ::=, F) = {(q, λ)} ELEMENTOS DE Γ
S → Símbolo inicial
f(q, num, N) = {(q, λ)} F → ::=
N → Numero
f(q, ;, P) = {(q, λ)} P → ;
f(q, then, T) = {(q, λ)} C → Condición
T → Then 24
f(q, else, E) = {(q, λ)} B → Bloque
E → Else

Ejemplo

if cond then var ::= num ;

f(q, var, B) = {(q, FN)}
f(q, cond, C) = {(q, λ)}
f(q, ::=, F) = {(q, λ)} q
f(q, num, N) = {(q, λ)}
f(q, ;, P) = {(q, λ)}
f(q, then, T) = {(q, λ)}
f(q, else, E) = {(q, λ)}
S
25
Ejemplo


f(q, if, B) = {(q, CTB), (q, CTBEB)} C
f(q, var, B) = {(q, FN)}
f(q, cond, C) = {(q, λ)}
f(q, ::=, F) = {(q, λ)} q T
f(q, num, N) = {(q, λ)}
f(q, ;, P) = {(q, λ)}
f(q, then, T) = {(q, λ)}
B
f(q, else, E) = {(q, λ)}
P
26
Ejemplo


f(q, var, B) = {(q, FN)}
f(q, cond, C) = {(q, λ)}
f(q, ::=, F) = {(q, λ)} q T
f(q, num, N) = {(q, λ)}
f(q, ;, P) = {(q, λ)}
f(q, then, T) = {(q, λ)}
B
f(q, else, E) = {(q, λ)}
P
27
Ejemplo


f(q, var, B) = {(q, FN)}
f(q, cond, C) = {(q, λ)}
f(q, ::=, F) = {(q, λ)} q
f(q, num, N) = {(q, λ)}
f(q, ;, P) = {(q, λ)}
f(q, then, T) = {(q, λ)}
B
f(q, else, E) = {(q, λ)}
P
28
Ejemplo


f(q, var, B) = {(q, FN)}
f(q, cond, C) = {(q, λ)}
f(q, ::=, F) = {(q, λ)} q F
f(q, num, N) = {(q, λ)}
f(q, ;, P) = {(q, λ)}
f(q, then, T) = {(q, λ)}
N
f(q, else, E) = {(q, λ)}
P
29
Ejemplo


f(q, var, B) = {(q, FN)}
f(q, cond, C) = {(q, λ)}
f(q, ::=, F) = {(q, λ)} q
f(q, num, N) = {(q, λ)}
f(q, ;, P) = {(q, λ)}
f(q, then, T) = {(q, λ)}
N
f(q, else, E) = {(q, λ)}
P
30
Ejemplo


f(q, var, B) = {(q, FN)}
f(q, cond, C) = {(q, λ)}
f(q, ::=, F) = {(q, λ)} q
f(q, num, N) = {(q, λ)}
f(q, ;, P) = {(q, λ)}
f(q, then, T) = {(q, λ)}
f(q, else, E) = {(q, λ)}
P
31
Pila vacía
Ejemplo
Sentencia reconocida
if cond then var ::= num
;

32
Definición
Introducción
Equivalencias
Lenguajes Tipo 2

33
Equivalencias

Teorema
Para cada autómata de pila que acepte
cadenas sin vaciar su pila, existe un autómata
equivalente pero que vacía su pila antes de
llegar a un estado de aceptación.
34
Paso de APF a APV

APF = (Σ, Γ, Q, A0, q0, f, F)
APV =(Σ, Γ∪⎨B⎬, Q ∪⎨p,r⎬, B, p, f’, φ)

1. Nuevo símbolo para la pila
2. Dos estados nuevos
3. Valor inicial de la pila
4. Nuevo estado inicial 35
5. SIN estados finales
Paso de APF a APV
APF = (Σ, Γ, Q, A0, q0, f, F)

APV =(Σ, Γ∪⎨B⎬, Q ∪⎨p,r⎬, B, p, f’, φ)
f’ se define así: λ,A; λ
λ,B; A0B
qf r
p q0
a, A; Z ∀ qf ∈ F, A ∈ Γ∪ ⎨B⎬
λ,A; λ
qi qj
qf r
qi, qj ∈Q, a ∈ Σ ∪ {λ}, A ∈ Γ, Z ∈ Γ* 36
∀ A ∈ Γ∪ ⎨B⎬
Paso de APV a APF

APV=(Σ, Γ, Q, A0, q0 , f, φ) → APF=(Σ, Γ∪⎨B⎬, Q ∪⎨p, r⎬, B, p, f’, {r})
f' se define así:
λ,B; A0B λ,B; λ
p q0 q r*
f‘(p, λ,B) = (q0, A0B) (r, λ) ∈ f‘(q, λ, B) ∀ q ∈ Q,
f(q, a, A) = f‘(q, a, A) ∀ q ∈ Q, a ∈ Σ ∪ {λ} , A∈ Γ

Definición
Introducción
Equivalencias
Lenguajes Tipo 2

38
De Gramática Tipo 2 a APV
Dada una G2 en FNG, construir un APV:

G = (ΣT, ΣN, S, P)
entrada pila inicial de pila
APV = (ΣT, ΣN, ⎨q⎬, S, q, f, φ)

Se obDene un APV con un solo estado
39
De Gramática Tipo 2 a APV
f se define como:

(q, Z) ∈ f(q, a, A)
es decir:
f(q, a, A) = (q, Z) si existe una producción del Dpo A ::= a Z
f(q, a, A) = (q, λ) si existe una producción del Dpo A ::= a
f(q, a, A) = {(q, Z), (q, λ)}
dada una producción:
A::= aZ ⎢ aD ⎢b ⇒ f(q, a, A)= {(q, Z),
(q, D)}
f(q, b, A) = (q, λ)
Si S::= λ ⇒ (q,λ) ∈ f(q,λ,S) 40
De Gramática Tipo 2 a APF

Dada una G2, construir un APF
G = (ΣT, ΣN, S, P)
APV = (ΣT, Γ, Q, A0, q0, f, {q2})

donde:
Γ= ΣT ∪ ΣN ∪ {A0}, donde A0 ∉ ΣT ∪ ΣN
Q={q0, q1, q2}

41
De Gramática Tipo 2 a APF

f se define como:
f (q0, λ, A0) = {q1, SA0}
∀A ∈ ΣN, si A ::= α ∈ P, (α ∈ Σ*) ⇒ (q1, α) ∈ f (q1, λ, A)
es decir: f (q1, λ, A) = {…, (q1, α) , …}
∀ a ∈ ΣT, (q1, λ) ∈ f (q1,a,a)

es decir f (q1,a,a) = {…, (q1,λ),… }
f (q1, λ, A0) = {q2,A0}

42
De APV a Gramática Tipo 2
Dado un APV, construir una G2 tal que L(G2) = L(APV)

APV = (Σ, Γ, Q, A0, q0, f, φ)
G = (ΣT, ΣN, S, P)

{S} ∪ { (pAq) | p, q ∈ Q, A ∈ Γ}
Para construir P:
1.  S::= (q0, A0 ,q) ∀ q ∈ Q (se eligen las que empiezan por q0A0)
2.  De cada transición f(p,a,A) = (q, BB’B’’....B’’’)
donde:
A,B,B’,B’’,…,B’’’ ∈ Γ ; a ∈ Σ ∪ {λ}
se obDene:
(p A z ) ::= a ( q B r ) ( r B’ s ) s ... y ( y B’’’ z )
3.  De cada transición f( p, a, A) = (q, λ) se obDenen: ( p,A,q ) ::= a 43
Bibliogra<ía

•  Libro Básico 1 Bibliograwa. Enrique Alfonseca Cubero, Manuel
Alfonseca Cubero, Roberto Moriyón Salomón. Teoría de
autómatas y lenguajes formales. McGraw-‐Hill (2007).
Capítulo 4 y Apartado 8.1
•  Libro Básico 2 Bibliograwa. John E. Hopcroz, Rajeev Motwani,
Jeffrey D.Ullman. Introducción a la teoría de autómatas,
lenguajes y computación (3ª edición). Ed, Pearson Addison
Wesley.
Capítulo 6
•  Libro Básico 4 Bibliograwa. Manuel Alfonseca, Justo Sancho,
Miguel Mar<nez Orga. Teoría de lenguajes, gramáDcas y
autómatas. Publicaciones R.A.E.C. 1997
44
Capítulo 10

Tema6 - UC3M - TALF SANCHIS LEDEZMA IGLESIAS JIMENEZ ALONSO PDF

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Tema6 - UC3M - TALF SANCHIS LEDEZMA IGLESIAS JIMENEZ ALONSO PDF

Cargado por

Copyright:

Formatos disponibles

6.

A. Sanchis, A. Ledezma, J. Iglesias, B. García, J. Alonso

A. Sanchis, A. Ledezma, J. Iglesias, B. García, J. Alonso

Lenguajes Independientes del

Lenguajes Aceptados por

A. Sanchis, A. Ledezma, J. Iglesias, B. García, J. Alonso

A. Sanchis, A. Ledezma, J. Iglesias, B. García, J. Alonso

No pueden reconocer expresiones matemáDcas,

1 Para cada gramáDca G independiente del contexto,

A. Sanchis, A. Ledezma, J. Iglesias, B. García, J. Alonso

2 Para cada autómata de pila M, existe una gramáDca G

3 Existe un lenguaje independiente del contexto que no

A. Sanchis, A. Ledezma, J. Iglesias, B. García, J. Alonso

A. Sanchis, A. Ledezma, J. Iglesias, B. García, J. Alonso

A. Sanchis, A. Ledezma, J. Iglesias, B. García, J. Alonso

Movimiento de la cinta Pila NO necesariamente

A. Sanchis, A. Ledezma, J. Iglesias, B. García, J. Alonso

Movimiento de la cinta Pila NECESARIAMENTE

A. Sanchis, A. Ledezma, J. Iglesias, B. García, J. Alonso

A. Sanchis, A. Ledezma, J. Iglesias, B. García, J. Alonso

A. Sanchis, A. Ledezma, J. Iglesias, B. García, J. Alonso

1. Leer un símbolo de la entrada

A. Sanchis, A. Ledezma, J. Iglesias, B. García, J. Alonso

Transiciones independientes AP No

A. Sanchis, A. Ledezma, J. Iglesias, B. García, J. Alonso

f(q, λ ,A) = {(q1 ,Z1), (q2, Z2),...,(qn, Zn)}

A. Sanchis, A. Ledezma, J. Iglesias, B. García, J. Alonso

A. Sanchis, A. Ledezma, J. Iglesias, B. García, J. Alonso

A. Sanchis, A. Ledezma, J. Iglesias, B. García, J. Alonso

A. Sanchis, A. Ledezma, J. Iglesias, B. García, J. Alonso

Terna (q,x,z) donde:

A. Sanchis, A. Ledezma, J. Iglesias, B. García, J. Alonso

Sucesión de movimientos:

A. Sanchis, A. Ledezma, J. Iglesias, B. García, J. Alonso

A. Sanchis, A. Ledezma, J. Iglesias, B. García, J. Alonso

Por estado ﬁnal

A. Sanchis, A. Ledezma, J. Iglesias, B. García, J. Alonso

A. Sanchis, A. Ledezma, J. Iglesias, B. García, J. Alonso

A. Sanchis, A. Ledezma, J. Iglesias, B. García, J. Alonso

A. Sanchis, A. Ledezma, J. Iglesias, B. García, J. Alonso

A. Sanchis, A. Ledezma, J. Iglesias, B. García, J. Alonso

A. Sanchis, A. Ledezma, J. Iglesias, B. García, J. Alonso

A. Sanchis, A. Ledezma, J. Iglesias, B. García, J. Alonso

A. Sanchis, A. Ledezma, J. Iglesias, B. García, J. Alonso

A. Sanchis, A. Ledezma, J. Iglesias, B. García, J. Alonso

A. Sanchis, A. Ledezma, J. Iglesias, B. García, J. Alonso

A. Sanchis, A. Ledezma, J. Iglesias, B. García, J. Alonso

A. Sanchis, A. Ledezma, J. Iglesias, B. García, J. Alonso

A. Sanchis, A. Ledezma, J. Iglesias, B. García, J. Alonso

APV =(Σ, Γ∪⎨B⎬, Q ∪⎨p,r⎬, B, p, f’, φ)

A. Sanchis, A. Ledezma, J. Iglesias, B. García, J. Alonso

A. Sanchis, A. Ledezma, J. Iglesias, B. García, J. Alonso

f' se deﬁne así:

λ,B; A0B λ,B; λ

f(q, a, A) = f‘(q, a, A) ∀ q ∈ Q, a ∈ Σ ∪ {λ} , A∈ Γ

A. Sanchis, A. Ledezma, J. Iglesias, B. García, J. Alonso

A. Sanchis, A. Ledezma, J. Iglesias, B. García, J. Alonso

APV = (ΣT, ΣN, ⎨q⎬, S, q, f, φ)

A. Sanchis, A. Ledezma, J. Iglesias, B. García, J. Alonso

A. Sanchis, A. Ledezma, J. Iglesias, B. García, J. Alonso

G = (ΣT, ΣN, S, P)

APV = (ΣT, Γ, Q, A0, q0, f, {q2})

Q={q0, q1, q2}

1. Leer un símbolo de la entrada