UNIVERSIDAD SAN PABLO DE GUATEMALA

Facultad de ingeniería

Licenciatura en Ingeniería en Sistemas y ciencias de la computación

Investigación autómatas de pila

Curso: Compiladores
Autómatas de pila
Los autómatas de pila son modelos abstractos de máquinas que utilizan una pila para
almacenar datos temporales. Se componen de un conjunto de estados, un alfabeto de
entrada, una pila, una función de transición y una función de salida.

Algunos autómatas de pila conocidos son:

 Autómata de Pila Determinista (DPDA): dado un estado y símbolo de entrada, solo
tiene una transición posible.
Ejemplo: Un DPDA que verifica que una cadena de paréntesis esté balanceada. Tiene
estados para cada tipo de paréntesis que se espera cerrar. Al leer un paréntesis de apertura,
lo apila. Al leer uno de cierre, verifica que coincida con el de la pila.

 Autómata de Pila No Determinista (NPDA): puede tener múltiples transiciones

desde un estado con un símbolo dado.
Ejemplo: Un NPDA que reconoce cadenas binarias con igual número de 0s y 1s. Usa la
pila para contar 0s y 1s leídos. En estados donde espera 0, tiene transiciones para 0 y 1.

 Autómata de Pila con Salida (OPDA): además de aceptar o rechazar, produce una
salida.
Ejemplo: Un OPDA que, dado un número binario, produce su valor en decimal. Lee los
bits, los apila, y al final los desempila generando la salida.

 Autómata de Pila Blindado (BPA): solo manipula el tope de la pila.

Ejemplo: Un BPA que reconoce cadenas terminadas en 01. Solo verifica el último
símbolo apilado.

 Autómata de Pila Sensibilizado (SPA): la transición depende del estado, símbolo de

entrada y tope de pila.
Ejemplo: Un SPA que verifica contraseñas con mayúsculas, números y 8 caracteres.
Verifica cada requisito usando el tope de pila.

 Autómata de Pila Invertido (PDAI): la pila crece hacia arriba.

Ejemplo: Un PDAI que reconoce palíndromos en {a,b}. Apila las letras de izquierda a
derecha y las compara.
 Autómata de Pila Recursivo (RPA): equivalente a una gramática libre de contexto
recursiva.
Ejemplo: Un RPA que verifica gramáticas aritméticas simples. Usa la pila como llamadas
recursivas.

 Autómata de Pila con Transferencia Finita (FTPA): permite mover cadenas finitas
entre estados.
Ejemplo: Un FTPA que reconoce códigos postales válidos. Verifica cada sección y la
transfiere para seguir analizando.

 Autómata de Pila Embebido (EPA): la pila se divide en regiones por estados.

Ejemplo: Un EPA que analiza etiquetas HTML anidadas. Cada etiqueta se apila en la
región de su estado.

 Autómata de Pila de Turing (TPDA): autómata de pila con una cinta como en la
MT.
Ejemplo: Un TPDA que funciona como calculadora básica. Usa la cinta para los cálculos.