Autmatas a Pila: Anexo a la gua de estudio

Elena Gaudioso Vzquez y Toms Garca Saiz

Motivacin
El objetivo del presente anexo es clarificar algunos conceptos contenidos en el
captulo 6 y en las orientaciones al estudio presentadas en la gua de estudio de la
asignatura.

Criterios de aceptacin en los autmatas a pila

De acuerdo a [2] existen dos criterios de aceptacin para los autmatas a pila:
por estado de aceptacin y por pila vaca. Este doble criterio se usa igualmente en
la herramienta JFLAP [3] (ver Figura 1).

Figura 1: Pantalla de JFLAP donde se muestra el doble criterio de aceptacin

En esta asignatura consideraremos que un autmata a pila acepta una cadena
cuando es posible que, al terminar de leer la cadena de entrada, el autmata llegue
a un estado de aceptacin, independientemente del contenido de la pila.
No obstante, dado cualquier autmata a pila no determinista, es posible
modificarlo para que vace su pila antes de aceptar una cadena.
Esto no es necesariamente cierto para los autmatas a pila deterministas. As
por ejemplo, el lenguaje {xn : n 0} + {xn y n : n 0} es un lenguaje
independiente del contexto determinista para el cual no es posible encontrar un
autmata a pila determinista que vace su pila antes de aceptar las cadenas.

Jerarqua de los lenguajes independientes del

contexto
Dentro de los lenguajes independientes del contexto se puede establecer la
jerarqua que se presenta en la Figura 2

Figura 2: Relacin entre los lenguajes independientes del contexto deterministas,

no deterministas y los lenguajes regulares.
Ejemplos de lenguajes en cada uno de los niveles expuestos en la Figura 2:
Lenguaje independiente del contexto no determinista: {xn y n : n 0} +
{xn y 2n : n 0}
Lenguaje independiente del contexto determinista para el cual no se puede
construir un autmata a pila determinista que vace su pila antes de aceptar
las cadenas: {xn : n 0} + {xn y n : n 0}
Lenguaje independiente del contexto determinista para el cual se puede
construir un autmata a pila determinista que vace su pila antes de aceptar
las cadenas: {xn y n : n 0}

Construccin del autmata a pila equivalente a una

gramtica independiente del contexto
El apartado 6.3.1 presenta informalmente cmo construir el autmata a pila
equivalente a una determinada gramtica independiente del contexto.
El proceso inverso de construir una gramtica independiente del contexto
equivalente a un autmata a pila dado, tambin es posible, pero queda fuera de
los objetivos de la asignatura (teorema 6.14 y ejemplo 6.15 de [2]) aunque en la
2

gua de estudio se diga que el teorema 6.14 se puede ilustrar con un ejemplo del
libro [1].

Propiedades de clausura
independientes del contexto

de

los

lenguajes

A continuacin mostramos un resumen de las propiedades de clausura de los

lenguajes independientes del contexto expuestas en el captulo 7 del libro [2]:
Los lenguajes independientes del contexto son cerrados para las siguientes
operaciones:
Unin
Concatenacin
Clausura o estrella de Kleene (*) y clausura positiva (+) 1
Homomorfismo
Los lenguajes independientes del contexto NO son cerrados para la
Interseccin. Ejemplo: L1 = {xn y n z p : n, p 0} y L2 = {xn y p z n : n, p
0}. L1 y L2 son independientes del contexto pero L1 L2 = {xn y n z n : n
0} no es independiente del contexto
Si L es un lenguaje independiente del contexto y R es un lenguaje regular,
entonces L R es un lenguaje independiente del contexto
Si L,L1 y L2 son lenguajes independientes del contexto y R es un lenguaje
regular:
L R es un lenguaje independiente del contexto
El complementario de un lenguaje independiente del contexto L no es
necesariamente independiente del contexto
L1 L2 no es necesariamente independiente del contexto

Referencias
[1] J.G. Brookshear. Teora de la Computacin: Lenguajes Formales, Autmatas
y Complejidad. Addison-Wesley Iberoamericana, 1993.
1

La clausura positiva es similar a la clausura vista hasta el momento slo que no incluye el
caso de cero repeticiones.

[2] H.E. Hopcroft, R. Motwani, and J.D. Ullman. Teora de Autmatas, lenguajes
y computacin. Pearson-Addison Wesley, tercera edicin edition, 2008.
[3] S. H. Rodger and T. W. Finley.
JFLAP: An Interactive
Formal Languages and Automata Package.
Jones &
Bartlett
Publishers.
http://www.cs.duke.edu/csed/jflap/,
2006.
http://www.cs.duke.edu/csed/jflap/.