Resultado de búsqueda
Un autómata con pila, autómata a pila o autómata de pila es un modelo matemático de un sistema que recibe una cadena constituida por símbolos de un alfabeto y determina si esa cadena pertenece al lenguaje que el autómata reconoce.
Se define configuración de un autómata de pila a su situación en un instante, que se puede expresar formalmente de la siguiente manera: (p, u, β) p: Representa el estado actual del autómata. u: Es la cadena de entrada que resta por analizar. β: Es el contenido de la pila, en el instante considerado.
Tema 4. Autómatas de pila 4.1 Autómatas de pila • Definición formal: – Un autómata de pila (pushdown automaton – PDA) se define como una sextupla (Σ, Γ, Q, Δ, q 0, F) donde: •Σ es el alfabeto de entrada, incluido el símbolo vacío β. •Γ es el alfabeto de la pila, incluido el símbolo vacío γ.
Los diagramas de autómatas Pushdown utilizan círculos para representar los estados, flechas para simbolizar las transiciones y funciones de pila etiquetadas que indican las acciones de empujar o sacar de la pila.
A diferencia de los autómatas finitos, los autómatas de pila cuentan con una memoria auxiliar llamada pila. Los símbolos (llamados símbolos de pila) pueden ser insertados o extraídos de la pila, de acuerdo con el manejo last-in-first-out (LIFO).
Autómatas de Pila (Push Down Automata) Los modelos mecánicos que corresponden a las GLC son los Autómatas de Pila que son como los AF pero tienen adicionalmente una pila para almacenamiento. Operaciones. Push (empilar un elemento en el tope) Pop (desempilar el elemento situado en el tope)
autómatas de pila pueden “elegir” la siguiente movida. En cada elección, el PDA puede: 1. Cambiar de estado, y, además 2. Reemplazar el símbolo top de la pila por una secuencia de cero o más símbolos. Cero símbolos = “pop”. Más símbols = secuencia de varios “push”.
