autómatas formales

PRESENTADO POR:
WILSON ESTEBAN PINTO CARDENAS

PRESENTADO A:
CESAR JIMENEZ

UNIVERDIDAD NACIONAL ABIERTA Y A DISTANCIA-UNAD

ABRIL-2018
 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.
 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.
 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.
 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.

CARACTERISTICASYPROPIEDADES:
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ÍSTICASYPROPIEDADES:
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 todas las secuencias de símbolos pertenecientes a un lenguaje especifico
DEFINICION FORMAL
Una gramática es una cuádrupla 𝐺 = (𝑉𝑁 , 𝑉𝑇 , 𝑆, 𝑃) donde 𝑉𝑁 es un conjunto de símbolos variables, 𝑉𝑇= σ, un
conjunto de símbolos terminales, 𝑆 ∈ 𝑉𝑁, elsímboloovariableinicialy𝑃esunconjuntofinitode reglas de
derivación.
 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
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
Lineales por la izquierda
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 deContexto.

Gramáticas sensibles al contexto

Los lenguajes generados por gramática tipo1 se llaman lenguajes sensibles al contexto y su clase 1

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
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.
 BIBLIOGRAFIA
• Carrasco, R., Calera, R., Forcada, M. (2016). Teoría De Lenguajes, Gramáticas Y Autómatas Para
Informáticos. Recuperado
dehttp://bibliotecavirtual.unad.edu.co:2051/login.aspx?direct=true&db=nlebk&AN=318032&lang=
es&site=eds-live&ebv=EB&ppid=pp_Cover

• Hernández, R. (2010). Practique la teoría de autómatas y lenguajes formales. (pp. 1 -124).

Recuperado
dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10566114&ppg=10

• Alfonseca C, E., Alfonseca M, M., Mariyón S, R. (2009). Teoría de autómatas y lenguajes formales.
Recuperado
dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10498456&ppg=6

• Millán, J., Antonio J. (2009). Compiladores y procesadores de lenguajes. (pp. 73-126). Recuperado
dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/detail.action?docID=10844351