AUTÓMATAS Y

LENGUAJES FORMALES
Deisy Carolina Sosa Vargas

Tutor: Edgar Antonio Cortes

Grupo 32
 Autómata a Pila
DEFINICIÓN:
Los autómatas a pila (AP) son una
extensión de los autómatas finitos (AF)
con una capacidad adicional de calculo
(memoria).
Su diferencia con los AF radica en que se
ayudan para sus transiciones de una
memoria con estructura de pila en la que
se almacenan símbolos de la cadena de
entrada, de la gramática y símbolos que
indican su estado. Cada transición implica
la modificación de la pila.
DEFINICIÓN FORMAL:
Un AP se define como la séptupla: (∑, P, Q,
A0 , q0 , f, F) donde:
∑: alfabeto de entrada.
P: alfabeto de la pila.
Q: conjunto de estados.
A0 : símbolo inicial de la pila (#).
q0 : símbolo inicial del conjunto de
estados.
f: función de transición. Es una aplicación
de Q x ∑ ∪ {λ} x P en el conjunto de partes
de P(QxP)*.
F: conjunto de estados finales o de
aceptación.
 Autómata a Pila
CARACTERÍSTICAS Y PROPIEDADES:
• La pila tiene un alfabeto propio que puede o no coincidir con la palabra de
entrada, esto se debe a que puede ser necesario introducir en la pila
caracteres especiales.
• Un AP no puede realizar ningún movimiento si la pila esta vacía.
• En un AP solo se puede modificar su “tope” es decir el extremo de entrada o
salida de los caracteres.
• La pila funciona de manera que el ultimo carácter que se almacena en ella es
el primero en salir (LIFO).
• Un AP puede aceptar lenguajes libres de contexto que pueden ser aceptados
por estados finales o por pila vacía.
 Autómata a Pila
CARACTERÍSTICAS Y PROPIEDADES:
• Al iniciar la operación de un AP, la pila se encuentra vacía. Durante la
operación del AP, la pila puede ir recibiendo (y almacenando) caracteres,
según lo indiquen las transiciones ejecutadas. Al final de su operación, para
aceptar una palabra, la pila debe estar nuevamente vacía.
• En los AP las transiciones de un estado a otro indican, además de los
caracteres que se consumen de la entrada, también lo que se saca del tope
de la pila, así como también lo que se mete a la pila.
• Las transiciones son de la forma: (p, x, s; q, t) donde p=estado inicial, q=
estado final, x= símbolo de la cadena de entrada, s =símbolo que se desapila
y t = símbolo que se apila.
x, s; t
p q
 Autómata a Pila por Vaciado
DEFINICIÓN:
En un APV es un método de aceptación del lenguaje libre de contexto el cual
se caracteriza por que una palabra se acepta si cuando se termina de leer la
entrada la pila se queda vacía.

CARACTERISTICAS Y PROPIEDADES:
• Para todo P= (Q, Σ, Γ, δ, q 0, Z 0) se define el lenguaje que acepta como
N M ={ω ∈ σ ∗ :(q0 , ω, Z0 )├∗ p,λ,λ ,p ∈ K}.
Autómata a Pila por Estados Finales
DEFINICIÓN:
En un APF es un método de aceptación del lenguaje libre de contexto el cual se
caracteriza por que una palabra es aceptada, si se puede llegar a un estado
final después de consumir la entrada .

CARACTERÍSTICAS Y PROPIEDADES:
• Para todo P= (Q, Σ, Γ, δ, q 0, Z 0) se define el lenguaje que acepta como
N M ={ω ∈ σ ∗ :(q0 , ω, Z0 )├∗ p,λ,𝛾 ,p ∈ F,λ Γ∗}.
 Gramática
DEFINICIÓN:
Según Chomsky (1957) “una gramática deberá rendir cuenta explícitamente de
todas las frases gramaticales de la lengua considerada”.
Desde la teoría de autómatas una gramática es un conjunto de reglas que
describen toda la secuencia de símbolos pertenecientes a un lenguaje
especifico.
DEFINICIÓN FORMAL:
Una gramática es una cuádrupla 𝐺 = (𝑉𝑁 , 𝑉𝑇 , 𝑆, 𝑃) donde 𝑉𝑁 es un conjunto de
símbolos variables, 𝑉𝑇 = σ, un conjunto de símbolos terminales, 𝑆 ∈ 𝑉𝑁 , el
símbolo o variable inicial y 𝑃 es un conjunto finito de reglas de derivación.
 Gramática
CARACTERÍSTICAS:
• El lenguaje generado por la gramática G es un conjunto de cadenas que se
pueden obtener partiendo del símbolo inicial S mediante la aplicación
sucesiva de reglas de P.
𝐿 𝐺 = {𝜔 ∈ 𝑉𝑇∗ : 𝑆 →ሶ 𝜔}
• Las gramáticas son equivalentes si generan el mismo lenguaje
𝐺 ≡ 𝐺 ′ ⟺ 𝐿 𝐺 = 𝐿(𝐺 ′ )
• Según la complejidad de las reglas que definen una gramática puede ser uno
de los tipos establecidos en la jerarquía de Chomsky 𝐺0 , 𝐺1 , 𝐺2 , 𝐺3 .
• Cada gramática esta incluida en el tipo anterior. 𝐺3 ⊂ 𝐺2 ⊂ 𝐺1 ⊂ 𝐺0
 Tipos de Gramática
Tipo 3. Gramática regular.
Este tipo de gramática genera el lenguaje regular y pueden ser descritos
mediante una expresión regular, generados mediante una gramática regular y
reconocidos mediante un autómata finito, el conjunto de todos estos lenguajes
es la clase 𝐿3 e incluye los lenguajes más simples; pueden ser de dos tipos:
Lineales por la derecha: Todas las producciones son de la forma:
𝐴 → 𝑏𝐶 𝐴→𝑏 𝐴→𝜆
Donde 𝐴, 𝐶 ∈ 𝑉𝑁 y 𝑏 ∈ 𝑉𝑇
Lineales por la izquierda: Todas las producciones son de la forma:
𝐴 → 𝐶𝑏 𝐴→𝑏 𝐴→𝜆
 Tipos de Gramática
Tipo 2. Gramáticas libres del contexto.

Los lenguajes generados por este tipo de gramáticas se llaman lenguajes libres
del contexto y la clase es L2, que incluyen a los Lenguajes Regulares; la
mayoría de los lenguajes de programación son Lenguajes Libres de Contexto.

Las producciones son de forma 𝐴 → 𝑎 donde:

𝐴 ∈ 𝑉𝑁 y 𝑎 ∈ 𝑉𝑁 ∪ 𝑉𝑇 ∗
 Tipos de Gramática
Tipo 1. Gramáticas sensibles al contexto.

Los lenguajes generados por las gramáticas de tipo 1 se llaman lenguajes

sensibles al Contexto y su clase es L1:
Las producciones son de forma α 𝐴 𝛽 → 𝛼 𝛾 𝛽 donde:

𝛼, 𝛽 ∈ 𝑉 ∗ y 𝛾 ∈ 𝑉+

Se interpreta que A es una variable y 𝛼, 𝛽 y 𝛾 son cadenas cualesquiera

que pueden contener variables y constantes.
 Tipos de Gramática
Tipo 0. Gramáticas con estructura de frase.
Son las gramáticas más generales, que por ello también se llaman gramáticas
sin restricciones. Esto quiere decir que las producciones pueden ser de
cualquier tipo permitido, es decir, de la forma:

α → 𝛽 con 𝛼 ∈ 𝑉 ∗ ∙ 𝑉𝑁 ∙ 𝑉 ∗ y en la que 𝛼 ≠ ∅

Los lenguajes generados por estas gramáticas son los lenguajes con estructura
de frase, que se agrupan en la clase L0: Estos lenguajes también se conocen en
el campo de la Teoría de la Compatibilidad como lenguajes recursivamente
enumerarles.
 Bibliografía
Carrasco, R., Calera, R., Forcada, M. (2016). Teoría De Lenguajes, Gramáticas Y
Autómatas Para Informáticos. Recuperado de:
http://bibliotecavirtual.unad.edu.co:2051/login.aspx?direct=true&db=nlebk&A
N=318032&lang=es&site=eds-live&ebv=EB&ppid=pp_Cover

Moreno Velo, F. J. (2010). Universidad de Huelva. Obtenido de Teoría de

Autómatas y Lenguajes Formales:
http://www.uhu.es/francisco.moreno/talf/docs/tema7.pdf

Jurado Málaga, E. (2008). Universidad de Extremadura. Obtenido de Teorías de

Autómatas y Lenguajes Formales:
http://biblioteca.unex.es/tesis/Teorias_automatas.pdf