ACTIVIDAD INDIVIDUAL FASE 2 AUTOMATAS A PILA

Thaylor Mosquera Castro

Código: 71257231

Tutor:
LUIS ERNESTO BONILLA

Universidad Nacional Abierta y A Distancias

Escuela de Ciencias Básicas, Tecnología e Ingeniería
Autómatas y Lenguajes Formales
Abril 10 del 2018
Es un Autómata Finito No Determinista (AFN) con transiciones ɛ y
con una pila en la que se puede almacenar una cadena de «símbolos
de pila»
• El AP puede recordar una cantidad infinita de información –LIFO
 AUTÓMATA A PILA (AP.)

Un autómata a pila es una séptupla:

AP= (Σ, Γ, Q, A0, q0, f, F)
donde :
1. Σ es el alfabeto de entrada
2. 2. Γ es el alfabeto de la pila
3. 3. Q es un conjunto finito de estados
4. 4. A0 ∈ Γ es el símbolo inicial de la pila
5. 5. q0 ∈ Q el estado inicial del autómata
6. 6. F ⊆ Q es el subconjunto de estados finales
7. 7. f es una aplicación denominada función de transición de ternas (estado, símbolo
de entrada o λ, símbolo de pila) en el conjunto de las partes Q×Γ*

f : Q×{Σ∪{λ}}× Γ → 2 Q×Γ* (subconjunto finito)

REPRESENTACIÓN
 REPRESENTACIÓN

Cada estado corresponde a un nodo en el grafo y está etiquetado con el

nombre del estado (si es un estado final se marca además con *)

• Cada transición (q, Z)∈f(p, a, A) corresponde a un arco del nodo p al nodo

q y tiene la etiqueta (a,A,Z).

• Las etiquetas de los arcos pueden tener la forma: (a,A,λ), (a,A,B),

(a,A,BC...), (λ,A,λ), (λ,A,B), (λ,A,BC...) siendo (a∈Σ, A,B,C∈Γ).

• No hay transiciones de forma: (..., λ, ...), (ab..., ..., ...) o (..., AB..., ...)
 LENGUAJES ACEPTADOS POR UN AP
POR ESTADO FINAL

Aceptación por estado final –

sea P = ( Q, Σ, Γ, δ, q 0, Z0, F) un AP
– L ( P), el lenguaje aceptado por P por estado final es
– { w | ( q 0, w, Z0) ├* (q, ε, α)}
– para algún estado q de F y cualquier cadena de pila α
POR ESTADO FINAL
AUTOMATA A PILA POR VACIADO
EJEMPLO AUTOMATA A PILA POR
VACIADO
 QUE ES GRAMATICA

Es un conjunto de reglas que describen toda la secuencia de símbolos

que constituyen un lenguaje.
Una gramática es una cuádrupla:
G = (VT, VN, S, P) donde
VT= {conjunto finito de símbolos terminales}
VN={conjunto finito de símbolos no terminales}
S es el símbolo inicial y pertenece a VN
P= {conjunto de producciones o de reglas de derivación}
 CARACTERÍSTICAS

Todas las cadenas del lenguaje definidas por la gramática están

formadas con símbolos del vocabulario terminal VT.
El vocabulario terminal se define por enumeración de los
símbolos terminales.
El vocabulario no terminal VN es el conjunto de símbolos
introducidos como elementos auxiliares para la definición de la
gramática, y que no figuran en las sentencias del lenguaje
 CARACTERÍSTICAS

 La intersección entre el vocabulario terminal y no terminal es el

conjunto vacío: {VN} Ç {VT} = {Ø}
 La unión entre el vocabulario terminal y no terminal es
el vocabulario. {VN} È {VT} = {V}
 En ocasiones es importante distinguir si un determinado
vocabulario incluye o no la cadena vacía, indicándose
respectivamente con superíndice + o superíndice *, tal como se
muestra a continuación:
 V+ = V - {l}
 V* = V + {l}
 TIPOS DE GRAMATICA

GRAMÁTICAS TIPO 0
También llamadas gramáticas no restringidas con estructura de
frase. Se caracterizan por:
En la parte izquierda tiene que haber al menos un símbolo no
terminal.
Respecto a sus partes derechas de producciones no hay ningún tipo
de restricción.
Las reglas de derivación son de la forma.
 EJEMPLO GRAMATICA TIPO 0

El ejemplo muestra una gramática de tipo 0, pues en ninguna de ellas

existe la producción: λ⃗β siendo λ la cadena vacía
 TIPOS DE GRAMATICA

GRAMÁTICAS TIPO 1
También llamadas gramáticas sensibles al contexto. Es decir que es
importante tomar en cuenta la ubicación de los símbolos no
terminales en la regla de derivación
En ellas las reglas de producción son de la forma
EJEMPLO DE GRAMATICA TIPO 1
PROPIEDADES DE GRAMATICA TIPO 1
PROPIEDADES DE GRAMATICA TIPO 1
PROPIEDADES DE GRAMATICA TIPO 1
 TIPOS DE GRAMATICA

GRAMÁTICAS TIPO 2
También llamadas gramáticas de contexto libre o libres de
contexto. Sus Reglas de producción tan solo admiten tener un
símbolo no terminal en su parte izquierda, son de la forma

La denominación contexto libre se debe a que se puede cambiar A

por α, independientemente del contexto en que aparezca A
EJEMPLO DE GRAMATICA TIPO 2
 TIPOS DE GRAMATICA
GRAMÁTICAS TIPO 3
EJEMPLO DE LA GRAMATICA TIPO 3
EJEMPLO DE AUTOMATA A PILA DE AUTORIA PROPIA

El presente autómata a pila, utiliza la

pila, para contar los símbolos de una
cadena, aceptando cadena de
longitud 3 o múltiplos de 3,

El conjunto de símbolos de pila es

[1,2,3, Z0]
Donde Z0 es el símbolo de pila
especial
EJEMPLO DE AUTOMATA A PILA DE AUTORIA PROPIA
 BIBLIOGRAFIA

 http://www.monografias.com/trabajos62/teoria-gramatica-lenguaje-
automata/teoria-gramatica-lenguaje-
 http://www.ia.urjc.es/grupo/docencia/automatas_itis/apuntes/capitulo11.
pdf automata2.shtml#ixzz5BohEU15v
 http://di002.edv.uniovi.es/~cueva/publicaciones/AUTOMATA.pdf