AUTOMATA CON PILA

JENNYFER ANDREA HINCAPIÉ GONZÁLEZ

AUTOMATAS Y LENGUAJES FORMALES
2018
 ¿QUÉ ES UN AUTÓMATA CON PILA?

 Es un modelo matemático de un sistema que recibe una

cadena.

 Se constituye por símbolos de un alfabeto y determina si esa

cadena pertenece al lenguaje que el autómata reconoce.

 Es un lenguaje que pertenece al grupo de los lenguajes libres

de contexto en la clasificación de la Jerarquía de Chomsky.
 JERARQUÍA DE CHOMSKY

Hace referencia a los lenguajes de Tipo 3, que son el subconjunto de

lenguajes formales más restringido dentro de la jerarquía, como se evidencia
a continuación.
 JERARQUÍA DE CHOMSKY

Sin embargo, también se puede realizar una definición recursiva-contructiva

de los lenguajes mediante el álgebra de lenguajes formales.
Un lenguaje regular sobre un alfabeto T ó LR(T) es:
 El lenguaje vacío {}
 El lenguaje conformado por la cadena vacia o lenguaje trivial.
 Un lenguaje {x} conformado por un único símbolo x de T.
 Si A y B son lenguajes regulares sobre T. Entonces AB son también lenguajes
regulares sobre T.
 Cualquier otro lenguaje que pueda obtenerse a partir de 1 a 4.
 DEFINICIÓN FORMAL
 Puede ser descrito como una séptupla M={S,∑, Γ ,δ,s,Z,F}
 S es un conjunto finito de estados.
 ∑, Γ símbolos de entrada y pila respectivamente.
 δ S x (∑ U {ε}) x Γ  ρ (S x Γ*)
 s Є S corresponde al estado inicial.
 Z Є Γ es el símbolo inicial de la pila
 F с S es un conjunto de estados de aceptación o finales

 Cuando el estado del autómata es q, el símbolo que la cabeza lectora

está inspeccionando en ese momento es a, y en la cima de la pila nos
encontramos el símbolo b.
 FUNCIONAMIENTO

En formato similar, también pueden aceptar cadenas de un lenguaje definido

sobre un alfabeto A. Estos a su vez pueden aceptar los lenguajes que no
pueden aceptar los autómatas finitos.

Este cuenta con una cita de entrada y un mecanismo de control que puede
encontrarse en uno de entre un numero finito de estados. Se designan:
 Estado inicial.

Los símbolos pueden ser insertados o extraídos de la pila, de acuerdo, con el

manejo LIFO
 REPRESENTACIÓN
Esta es representada mediante la siguiente forma:
 REPRESENTACIÓN
Al igual que un autómata finito un autómata de pila
cuenta con un flujo de entrada y un flujo de control que
puede encontrarse en uno de entre un número finito de
estados. Uno de estos estados se designa como el inicial
y por lo menos un estado es de aceptación.

La principal diferencia es que los autómatas de pila

cuentan con una pila en donde pueden almacenar
información para recuperarla más tarde.
 REPRESENTACIÓN
Los símbolos que pueden almacenarse en esta pila se
conocen como símbolos de pila de la máquina,
constituyen un conjunto finito que puede incluir algunos
símbolos definiendo el alfabeto de la máquina y quizá
algunos símbolos adicionales que se utilizan como
marcas internas. Si una máquina inserta un símbolo
especial en la pila antes de efectuar algún otro cálculo,
entonces ese símbolo en la cima de la pila puede usarse
como indicador de pila vacía para cálculos posteriores,
dicho símbolo es #.
 AUTÓMATA CON PILA DETERMINISTICO
Nótese que, a diferencia de un autómata finito o una máquina de Turing, la
definición básica de un autómata con pila es de naturaleza no determinista, pues la
clase de los autómatas con pila determinísticos, a diferencia de lo que ocurría con
aquellos modelos, tiene una potencia descriptiva estrictamente menor. Para calificar
a un autómata con pila como determinístico deben darse dos circunstancias:
1. en la definición de cada componente de la función de transición existan un único
elemento lo que da la naturaleza determinista.
2. Puede darse la circunstancia de que el autómata esté en el estado s y en la pila
aparezca el símbolo sZ, entonces, si existe una definición de transición posible
para algún símbolo cualquiera a del alfabeto de entrada, pero, además existe
otra alternativa para la palabra vacía Є, también esto es una forma de no
determinismo, pues podemos optar entre leer un símbolo o no hacerlo. Por eso, en
autómata determinístico no debe existir transición posible con lectura de símbolo
si puede hacerse sin ella, ni al contrario.
 AUTÓMATA CON PILA NO DETERMINISTICO
Un autómata finito con pila no determinista (AFPN) consta de los mismos parámetros de
un AFPD.

P = (Q, Σ, Г, Δ, q0, T,Z):

Donde la función de transición Δ es de la forma:

Donde Pf (Q× Г *) es un conjunto de subconjuntos finitos de Q × Г*

Para q є Q, a є Σ U {ε} y s є Г

Donde γi є Г*
 INFOGRAFIA

 http://formella.webs.uvigo.es/doc/talf05/talf/node38.html
 https://es.wikipedia.org/wiki/Aut%C3%B3mata_con_pila
 http://www.ia.urjc.es/grupo/docencia/automatas_itis/apuntes/capitulo11.
pdf
 http://www.exa.unicen.edu.ar/catedras/ccomp1/Apunte4.pdf