AUTMATAS Y LENGUAJES

FORMALES

ANDRES FELIPE BERNAL FRANCO

CC. 9.861.104

AUTMATAS A PILA Y GRAMTICAS

UNAD
2017
AUTMATA A PILA
Un autmatas a pila (AP) es un modelo
matemtico de un sistema que recibe una cadena
constituida por smbolos de un alfabeto y
determina si esa cadena pertenece al lenguaje
que el autmata reconoce.
El lenguaje que reconoce un autmata de pila
pertenece al grupo de los lenguajes libres de
contexto en la clasificacin de la Jerarqua de
Chomsky.
Un autmata de pila es esencialmente un
autmata finito que posee control sobre un cinta y
una pila del tipo LIFO.
PROPIEDADES
Un autmata a pila es una sptupla:
AP= (, , Q, A0, q0, f, F)
1. es el alfabeto de entrada
2. es el alfabeto de la pila
3. Q es un conjunto finito de estados
4. A0 es el smbolo inicial de la pila
5. q0 Q el estado inicial del autmata
6. F Q es el subconjunto de estados finales
7. f es una aplicacin denominada funcin de
transicin de ternas (estado, smbolo de
entrada o , smbolo de pila) en el conjunto de
las partes Q*
CARACTERISTICAS
Un autmata a pila (AP) es un dispositivo que tiene
acceso a:
Una secuencia de smbolos de entrada, que en
general se representa por una cinta que se
desplaza frente a un mecanismo de captacin de
dichos smbolos.
El smbolo superior de una memoria en pila (LIFO)

Un autmata a pila se encuentra en cada momento

en un estado determinado y el estado siguiente
depende de los tres elementos siguientes:
Estado actual
Smbolo de entrada
Smbolo superior de la pila
 El AP lee smbolos de izquierda a derecha de su
cinta de entrada.
Tambin permite transiciones- en las que puede
desempilar y empilar smbolos sin leer el siguiente
smbolo de entrada de su cinta (o sin mover la
cabeza lectora).
Aunque puede almacenar una cantidad
ilimitada de informacin en su pila, no puede
leer smbolos de la misma en orden arbitrario,
primero debe desempilar los smbolos situados
en la parte superior (tope) de la misma, en cuyo
caso se pierden.
Por lo que el acceso a la informacin de la pila
es limitada.
 Un AP puede realizar dos tipos de operaciones
elementales:
1. Dependientes de la entrada:
Se lee la cinta y se avanza la cabeza lectora, en
funcin:
del estado actual (qi)
del smbolo ledo en la cinta (a)
del smbolo en la cima de la pila (Z)
Se pasa a un nuevo estado, se elimina el elemento
Z de la cima de la pila y se introduce en su lugar
una cadena de smbolos.

2. Independientes de la entrada: Las mismas

operaciones que en el caso anterior, slo que no se
lee la cinta, ni se avanza la cabeza lectora. Se
maneja la pila sin la informacin de entrada.
AUTMATA POR VACIADO Y POR
ESTADOS FINALES
Se describe el proceso de aceptacin o rechazo
de una palabra de * mediante una sucesin de
movimientos.
Un AP= (, , Q, A0, q0, f, F) puede reconocer
palabras del alfabeto de entrada de dos formas
distintas:
- Por estado final: LF(AP) = {x | (q0, x, A0) * (p, , X),
con pF, X*}
- Por vaciado de pila : LV(AP) = { x | (q0, x, A0) * (p, ,
) con pQ}
LF(AP) y LV(AP) representan a los lenguajes
reconocidos por el autmata AP por estado final y
por vaciado de pila respectivamente. Cuando la
aceptacin se realiza por vaciado de pila, el
conjunto de estados finales F es irrelevante.
GRAMTICA DE UN AUTMATA
Una gramtica ("G") desde el punto de vista de
la teora de autmatas es un conjunto finito de reglas
que describen toda la secuencia de smbolos
pertenecientes a un lenguaje especfico L. Dos
gramticas que describan el mismo lenguaje se
llaman gramticas equivalentes.

Caractersticas:
Una gramtica es una estructura algebraica formada
por cuatro elementos fundamentales:
G = { NT, T, S, P }
Donde:
NT es el conjunto de elementos No Terminales
T es el conjunto de elementos Terminales
S es el Smbolo inicial de la gramtica
P es el conjunto de Reglas de Produccin
TIPOS DE GRAMTICAS
Existen 4 tipos de gramticas:

Tipo 0 o "No restringida o recursivamente

enumerables
Tipo 1 o "Sensible al contexto"
Tipo 2 o Libre de contexto"
Tipo 3 o "Regular"

A continuacin explicamos cada una de ellas

 Tipo 0 o "No restringida o recursivamente
enumerables

x puede ser sustituido por y si x est, ya sea, en los

smbolos No Terminales o los smbolos Terminales, sin
incluir la cadena vaca e y est en los smbolos No
Terminales o Terminales, incluyendo la cadena
vaca.
Los lenguajes generados por este tipo de
gramticas se llaman "lenguajes sin restricciones"
Nota: "+" significa "sin incluir la cadena vaca" y "*"
significa "incluyendo la cadena vaca". "/" significa
"o"
Estos lenguajes tambin son denominados
"recursivamente enumerables
Las mquinas que los aceptan son las de Turing (y
equivalentes no deterministas).
 Tipo 1 o "Sensible al contexto

puede ser reemplazado por si la longitud de

es menor o igual a la longitud de , siendo un
smbolo Terminal o una cadena vaca z1, seguido
de un smbolo No Terminal X, seguido de otro
smbolo Terminal o una cadena vaca z2. En el caso
de , z1 debe ser el mismo smbolo z1 de seguido
de un smbolo No Terminal o Terminal sin ser la
cadena vaca, seguido del smbolo z2.
Las mquinas que los aceptan son autmatas
linealmente acotados.
 Tipo 2 o Libre de contexto

x puede ser reemplazado por y si x pertenece a

los smbolos No Terminales e y es un Terminal o No
Terminal, incluyendo la cadena vaca.
Las mquinas que los pueden leer son autmatas a
pila
 Tipo 3 o "Regular

Tambin llamada "De contexto regular"

puede ser reemplazado por si
pertenece a los smbolos No
Terminales y es uno de estos 3:
- Un smbolo Terminal no nulo seguido
de un No Terminal.
- Un smbolo No Terminal seguido de un
smbolo Terminal no nulo.
- Un smbolo Terminal pudiendo ser la
cadena vaca.
Las mquinas que lo aceptan son
autmatas finitos, deterministas o no
deterministas.
EJEMPLO DE AUTMATA A PILA
Autmata de pila que acepte { ai bi : i 0}
Q = {q0, q1}.
= {a, b}. a, /A b, A/

= {A}.
b, A/
q0 = {q0}. q0 q1
F = {q0, q1}

(q0, a, ) (q0, A)
(q0, b, A) (q1, )
(q1, b, A) (q1, )
BIBLIOGRAFIA

http://www.ia.urjc.es/grupo/docencia/automatas_itis/
apuntes/capitulo11.pdf
https://es.wikipedia.org/wiki/Aut%C3%B3mata_con_pil
a
http://www.exa.unicen.edu.ar/catedras/ccomp1/Ap
unte4.pdf
https://es.wikipedia.org/wiki/Gram%C3%A1tica_(aut%
C3%B3mata)