Teoría de la Computación

Teoría de la Computación: Propiedades generales del cómputo respecto a la teoría de la autómatas y lenguajes
formales. Se utiliza para resolver problemas de software, y para crear compiladores.

Jerarquía de Chomsky: Clasificación de los tipos de gramáticas y lenguajes formales. Consta de 4 niveles que se definen
por las restricciones impuestas sobre las reglas de producción y los símbolos terminales y no terminales que se pueden
usar en la gramática. En orden de complejidad creciente.

• Lenguajes Recursivamente Enumerables (Tipo 0): Estos lenguajes pueden ser generados por gramáticas que no
tienen restricciones en las reglas de producción y son capaces de generar cualquier cadena de símbolos que sea
posible generar por una máquina de Turing.
• Lenguajes Dependientes del Contexto (Tipo 1): Estos lenguajes pueden ser generados por gramáticas que tienen
reglas de producción en las que los símbolos no terminales se reemplazan por cadenas de símbolos que incluyen
tanto símbolos no terminales como símbolos terminales.
• Lenguajes Libres de Contexto (Tipo 2): Estos lenguajes pueden ser generados por gramáticas que tienen reglas
de producción en las que los símbolos no terminales se reemplazan por cadenas de símbolos que solo incluyen
símbolos no terminales.
• Lenguajes Regulares (Tipo 3): Estos lenguajes pueden ser generados por gramáticas que tienen reglas de
producción en las que los símbolos no terminales se reemplazan por cadenas de símbolos que incluyen un
símbolo no terminal seguido de un símbolo terminal o un símbolo terminal seguido de un símbolo no terminal.

Autómatas: Modelo matemático de una máquina de estados que acepta cadenas de un lenguaje definido. Puede ser:

• Determinístico DFA: Cada estado tiene transiciones bien definidas para cada posible entrada del alfabeto. Esto
significa que, para cualquier entrada dada, el DFA siempre seguirá un camino único y predecible a través de sus
estados.
• No Determinístico NFA: Cada estado tiene transiciones bien definidas para cada posible entrada del alfabeto.
Esto significa que, para cualquier entrada dada, el DFA siempre seguirá un camino único y predecible a través de
sus estados.

La principal diferencia entre DFA y NFA radica en cómo manejan las transiciones de estado en respuesta a una entrada
dada. Los DFA son más simples y deterministas, lo que los hace más fáciles de entender y analizar, mientras que los NFA
pueden ser más expresivos y flexibles en algunos casos. Sin embargo, es posible convertir un NFA en un DFA equivalente,
lo que significa que los dos tipos de autómatas son equivalentes en términos de su poder expresivo.
Gramática: Colección de reglas que especifican cómo se pueden combinar los símbolos del lenguaje para formar cadenas
válidas. Las gramáticas se utilizan en la teoría de la computación para estudiar las propiedades de los lenguajes formales
y para diseñar algoritmos que procesen y generen cadenas en un lenguaje dado.

Consta de un conjunto de símbolos no terminales y terminales, y un conjunto de reglas de producción que describen
cómo se pueden combinar estos símbolos para formar cadenas del lenguaje. Los símbolos no terminales representan
elementos de la estructura del lenguaje, mientras que los símbolos terminales representan las unidades básicas del
lenguaje, como las letras y los números.

Las reglas de producción especifican cómo se pueden combinar los símbolos no terminales y terminales para formar
cadenas válidas en el lenguaje. Por ejemplo, una regla de producción podría decir que un símbolo no terminal puede ser
reemplazado por una secuencia de símbolos no terminales y/o terminales. Estas reglas se pueden aplicar de forma
recursiva para construir cadenas cada vez más complejas en el lenguaje.

Formalmente es una tupla 𝐺 = (𝑁, 𝑇, 𝑆, 𝑃) donde:

• 𝑁 es el conjunto de símbolos no terminales.

• 𝑇 es el conjunto de símbolos terminales 𝑁 ∩ 𝑇 = ∅.
• 𝑆 el el símbolo 𝑆 ∉ (𝑛 ∪ 𝑇).
• 𝑃 es el conjunto finito de reglas de producción 𝛼 → 𝛽 donde 𝛼 = 𝜑𝐴𝜌 ∧ 𝛽 = 𝜑𝜔𝜌, y se cumple que 𝜑, 𝜔, 𝜌 ∈
(𝑁 ∪ 𝑇)∗ ∧ (𝐴 ∈ 𝑆 ∨ 𝐴 ∈ 𝑁).

Características de las Gramáticas Regulares:

• Generan cadenas de lenguajes regulares. Son las más restrictivas.

• En el lado izquierdo de una producción puede estar el símbolo 𝑆 o un símbolo no terminal.
• En el lado derecho de una regla de producción debe haber un símbolo terminal, o un terminal más un no
terminal.
• Si el lenguaje contiene la cadena vacía, agregar la producción 𝑆 → 𝜀.
𝐴 ∈ 𝑁 ∪ {𝑠}
• Pueden ser lineales a derecha si todas las producciones son de la forma 𝑎 → 𝑎𝐵 o 𝐴 → 𝑎 { 𝐵 ∈ 𝑁 .
𝑎∈𝑇
𝐴 ∈ 𝑁 ∪ {𝑠}
• Pueden ser lineales a izquierda si todas las producciones son de la forma 𝑎 → 𝐵𝑎 o 𝐴 → 𝑎 { 𝐵 ∈ 𝑁 .
𝑎∈𝑇
Símbolo: Objeto atómico que representa un carácter, número o comando (IF, ‘a’, 9).

Alfabeto o Vocabulario: Conjunto finito de símbolos. Por ejemplo, 𝐴 = {𝑎, 𝑏, 𝑐}.

Cadena: Sucesión finita de símbolos sobre un alfabeto. Por ejemplo, sobre el alfabeto 𝐴 = {𝑎, 𝑏, 𝑐, 𝑑, 𝑒} puede ser
“adee”. Por convención 𝜀 denota la cadena vacía. Las cadenas elevadas a un número indican la cantidad de símbolos que
poseen 𝑐𝑎𝑑𝑒𝑛𝑎𝑐𝑎𝑛𝑡𝑖𝑑𝑎𝑑_𝑠í𝑚𝑏𝑜𝑙𝑜𝑠 .

Clausura de Kleene o Lenguaje Universal: Conjunto de todas las posibles cadenas sobre un alfabeto 𝐴. Se denota como
𝐴∗
Operaciones sobre Cadenas:

• Longitud: Cantidad de símbolos que contiene |𝜔| = 𝑛.

• Igualdad: Cada símbolo de ambas cadenas es idéntico.
• Reversa: Cadena original con el orden de los símbolos inversos 𝜔𝑅 .
• Concatenación: Todos los símbolos de una cadena seguidos por los de la segunda cadena 𝜔1 ⋅ 𝜔2 . Propiedades:
o 𝜔1 ⋅ 𝜔2 ∈ 𝐴
o 𝜔⋅𝜀 =𝜀⋅𝜔 =𝜔
o |𝜔1 ⋅ 𝜔2 | = |𝜔1 | + |𝜔2 |
o No es conmutativa
o 𝜔1 ⋅ 𝜔2 = 𝜔12
• Potencia: Concatenación de una potencia consigo mismo tantas veces como lo indique el exponente. Por
convención 𝜔0 = 𝜀. Por lo que 𝜔𝑛 = 𝜔1 ⋅ 𝜔2 … ⋅ 𝜔𝑛 .

Lenguaje: Subconjunto de todas las cadenas posibles de un alfabeto.

Operaciones:

Unión: 𝐿1 ∪ 𝐿2 = {𝜔 ∈ 𝐴∗ |𝜔 ∈ 𝐿1 ∨ 𝜔 ∈ 𝐿2 }

Intersección: 𝐿1 ∩ 𝐿2 = {𝜔 ∈ 𝐴∗ |𝜔 ∈ 𝐿1 ∧ 𝜔 ∈ 𝐿2 }

Diferencia: 𝐿1 − 𝐿2 = {𝜔 ∈ 𝐴∗ |𝜔 ∈ 𝐿1 ∧ 𝜔 ∉ 𝐿2 }

Complemento: 𝐿1 = {𝜔 ∈ 𝐴∗ |𝜔 ∉ 𝐿1 } = 𝐴∗ − 𝐿1

Concatenación: 𝐿1 ⋅ 𝐿2 = {𝜔1 ⋅ 𝜔2 ∈ 𝐴∗ |𝜔1 ∈ 𝐿1 ∧ 𝜔2 ∈ 𝐿2 }

Potencia: 𝐿𝑘1 = 𝐿𝑘−1

1 ⋅ … ⋅ 𝐿1

Clausura: 𝐿∗1 = 𝐿01 ∪ 𝐿11 ∪ 𝐿21 ∪ …

Propiedades:

• Lenguaje Vacío: 𝐿1 ⋅ ∅ = ∅ ⋅ 𝐿1 = ∅
• Asociatividad de Concatenación: (𝐿1 ⋅ 𝐿2 ) ⋅ 𝐿3 = 𝐿1 ⋅ (𝐿2 ⋅ 𝐿3 )
• No Conmutatividad de Concatenación: 𝐿1 ⋅ 𝐿2 ≠ 𝐿2 ⋅ 𝐿1
• Distributividad de la Unión: 𝐿1 ⋅ (𝐿2 ∪ 𝐿3 ) = 𝐿1 ⋅ 𝐿2 ∪ 𝐿1 ⋅ 𝐿3
• No Distrubitividad de la Intersección: 𝐿1 ⋅ (𝐿2 ∪ 𝐿3 ) ≠ 𝐿1 ⋅ 𝐿2 ∩ 𝐿1 ⋅ 𝐿3

Lenguajes Regulares: Lenguajes reconocidos por autómatas finitos y generados por gramáticas regulares.
Autómata o Máquina de Estados Finito: Modelo matemático que describe sistemas con un número limitado de estados
posibles, y que cambian de estado según la entrada. Es capaz de reconocer cadenas que pertenecen a un lenguaje
regular.

Formalmente se define un autómata finito como una tupla 𝑀 =< 𝐸, 𝐴, 𝛿, 𝑒0 , 𝐹 >.

• 𝐸 es un conjunto finito de estados.

• 𝐴 es el alfabeto de entrada.
• 𝑒0 es el estado inicial.
• 𝐹 es el conjunto de estados finales.
• 𝛿 es la función de transición de estados que se define como:
o 𝛿: 𝐸 × 𝐴 → 𝐸 si el autómata es determinístico
o 𝛿: 𝐸 × 𝐴 → 𝑃(𝐸) si el autómata es no determinístico y 𝑃(𝐸) es el conjunto potencia de 𝐸.

Clasificación de Autómatas Finitos:

• Por tipo de entrada:

a. Autómata Finito Determinista AFD: Para cada estado del autómata, existe exactamente una transición definida
para cada símbolo de entrada. Esto significa que el siguiente estado del autómata siempre es predecible y único para
cada entrada dada.

b. Autómata Finito No Determinista AFN: Para cada estado del autómata, puede haber varias transiciones posibles
para un símbolo de entrada determinado. En este caso, el autómata puede seguir cualquier camino posible a través
del conjunto de transiciones para procesar una cadena de entrada dada.

c. Autómata Finito No Determinista con Transiciones Epsilon AFNDe: Autómata finito no determinista que permite
transiciones epsilon, que son transiciones que se pueden realizar sin consumir ningún símbolo de entrada. Esto
permite al autómata "saltar" de un estado a otro sin necesidad de procesar ninguna entrada.

d. Autómata Finito Completos AFC: Tienen transiciones definidas para todos los símbolos de entrada en cada
estado.

e. Autómata Finito Incompletos AFI: No tienen transiciones definidas para todos los símbolos de entrada en cada
estado.

f. Autómata Finitos Deterministas Mínimos AFDmin: Autómata finito determinista que tiene la menor cantidad de
estados posibles para reconocer el mismo lenguaje.

g. Autómata Finitos No Mínimos AFDnmin: Autómata que tiene más estados de los necesarios para reconocer el
mismo lenguaje que un AFD dado.

h. Autómatas Finitos Deterministas Sincronizados AFDS: Autómatas donde todas las transiciones están
sincronizadas con el reloj global del autómata. Es decir, todas las transiciones se realizan en el mismo instante de
tiempo.

i. Autómatas Finitos Deterministas Asincrónicos AFDA: Autómata donde las transiciones no están sincronizadas con
el reloj global del autómata. Es decir, algunas transiciones pueden tardar más tiempo que otras en realizarse.

j. Autómatas Finitos No Deterministas Ponderados AFNDP: Autómata que tiene asignado un peso a cada transición,
lo que permite calcular el costo o la probabilidad de un camino en el autómata.
• Por Cantidad de Cintas:

a. Autómata Finito de Una Cinta: Procesa una sola cadena de entrada en una única cinta.

b. Autómata Finito de Varias Cintas: Procesa varias cadenas de entrada en diferentes cintas. Cada cinta se lee
simultáneamente para determinar el siguiente estado del autómata.

• Por Tipo de Procesamiento:

a. Autómata Finito de Pila AFDP o AP: Utiliza una pila para almacenar y recuperar información. La pila permite al
autómata mantener información sobre el procesamiento anterior de la cadena de entrada.

b. Autómata Finito de Cola AFC: Procesa los elementos de entrada en el orden en que se reciben, como una cola de
elementos.

c. Autómata Finito de Cola y Pila AFCP: Autómata finito que utiliza tanto una cola como una pila para procesar la
entrada.

• Por Tipo de Salida:

a. Autómata Finito de Moore: Autómata finito cuya salida está determinada por el estado actual del autómata.

b. Autómata Finito de Mealy: Autómata finito cuya salida está determinada tanto por el estado actual como por el
símbolo de entrada actual.

• Por Complejidad:

a. Autómata Finito Regular AFR: Puede reconocer un lenguaje regular, es decir, un lenguaje que puede ser generado
por una gramática regular o una expresión regular.

b. Autómata Finito No Regular AFNR: No puede reconocer un lenguaje regular. Estos autómatas pueden ser más
complejos
Función de Transición de Estados: Especifica como el autómata cambiará de un estado a otro cuando
se lee una entrada. Se representa mediante un diagrama de transiciones de estados, donde cada nodo
representa un estado y el estado inicial se representa por un nodo con flechas sin origen, y los nodos
finales con doble círculo. También se puede representar mediante una tabla de transición de estados.

Ejemplos:

Expresiones Regulares ER: Secuencia de caracteres que define un patrón de búsqueda. Reglas:

• Lenguaje Vacío: ∅
• Lenguaje que Contiene la Cadena Vacía: 𝜀
• ∀ 𝑎 ∈ 𝐴, 𝑎 es una expresión regular que describe el lenguaje que contiene únicamente a ese símbolo {𝑎}

Leyes de Expresiones Regulares:

𝑟+∅=∅+𝑟=𝑟 (𝑟 ⋅ 𝑠) ⋅ 𝑡 = 𝑟 ⋅ (𝑠 ⋅ 𝑡) 𝑟 ⋅ 𝑟∗ = 𝑟∗ ⋅ 𝑟
𝑟⋅𝜀 =𝜀⋅𝑟 =𝑟 𝑟 ⋅ (𝑠 + 𝑡) = 𝑟 ⋅ 𝑠 + 𝑟 ⋅ 𝑡 𝑟 ⋅ 𝑟∗ + 𝜀 = 𝑟∗
𝑟⋅∅=∅⋅𝑟 =∅ (𝑠 + 𝑡) ⋅ 𝑟 = 𝑠 ⋅ 𝑟 + 𝑡 ⋅ 𝑟 (𝑟 ⋅ 𝑠 ∗ )∗ = (𝑟 + 𝑠)∗
∗

𝑟+𝑠 = 𝑠+𝑟 𝑟+𝑟=𝑟 (𝑟 ∗ )∗ = 𝑟 ∗

(𝑟 + 𝑠) + 𝑡 = 𝑟 + (𝑠 + 𝑡) ∅∗ = 𝜀

Ejemplos:

• 𝑎∗ ⋅ 𝑏 describe el lenguaje 𝐿1 = {𝑎 𝑛 𝑏 |𝑛 ≥ 0}
• (𝑎 + 𝑏)∗ describe el lenguaje 𝐿2 = {𝑥|𝑥 ∈ {𝑎, 𝑏}∗}
• (𝑎𝑎)∗ (𝑏𝑏)∗ 𝑏 describe el lenguaje 𝐿3 = {𝑎2𝑛 𝑏2𝑚+1 |𝑛, 𝑚 ≥ 0}
Obtener Autómata Finito No Determinístico desde Expresión Regular:

Ejemplos:
Obtener Expresión Regular desde Autómata Finito No Determinístico:

• Verificar si el estado inicial es también estado final.

o Si el estado inicial es también estado final, eliminar todos los estados a excepción del
estado inicial. Obteniendo la expresión regular 𝑆 ∗ .
o Si el estado inicial no es el estado final, eliminar todos los estados del
autómata hasta que solo quedan el inicial y el final en consideración.
Obteniendo la expresión regular 𝑆 ∗ ∪ (𝑇 + 𝑉 ⋅ 𝑆 ∗ ⋅ 𝑈 ∗ ) = 𝑆 ∗ ∪ (𝑇 ∗ (𝑉 ⋅ 𝑆 ∗ ⋅
𝑈)∗ )∗ .
• Realizar la unión de las expresiones regulares para cada estado final del autómata.

Ejemplos:
Obtener AFND desde AFNDe:

1. Eliminar las transiciones epsilon: Las transiciones epsilon permiten al AFNDe cambiar de estado sin consumir ningún
símbolo de entrada. Para eliminar estas transiciones, se deben seguir los siguientes pasos:

a. Para cada estado que tenga una transición epsilon, se deben agregar transiciones adicionales que representen
todas las posibles combinaciones de transiciones epsilon que se pueden seguir. Por ejemplo, si el estado q1 tiene
una transición epsilon a q2 y q2 tiene una transición epsilon a q3, entonces se deben agregar transiciones desde
q1 a q3 y desde q2 a q3.

b. Para cada estado que tenga una transición epsilon a sí mismo, se deben agregar transiciones adicionales que
representen todas las posibles combinaciones de transiciones epsilon que se pueden seguir antes de llegar al
estado. Por ejemplo, si el estado q1 tiene una transición epsilon a sí mismo y también tiene una transición
epsilon a q2, entonces se deben agregar transiciones desde q1 a q2 y desde q2 a q1.

2. Convertir el AFNDe resultante en un AFND: Un AFND se define como un Autómata Finito No Determinista en el que
cada transición tiene un solo símbolo de entrada. Para convertir el AFNDe resultante en un AFND, se deben seguir los
siguientes pasos:

a. Para cada transición que tenga más de un símbolo de entrada, se deben crear estados adicionales que
representen cada uno de los posibles símbolos de entrada. Por ejemplo, si existe una transición desde el estado
q1 al estado q2 con los símbolos a y b, se deben crear dos estados adicionales q3 y q4, donde la transición desde
q1 a q3 es a y la transición desde q1 a q4 es b, y la transición desde q3 a q2 y la transición desde q4 a q2 son
ambos epsilon.

b. Si después de este paso todavía hay transiciones con más de un símbolo de entrada, se deben repetir los
pasos anteriores hasta que se obtenga un AFND con una sola entrada por transición.

Ejemplos:
Obtener AFD desde AFND:

1. Identificar los estados alcanzables del AFND para cada entrada: Para cada estado del AFND y para cada símbolo
de entrada, se deben identificar todos los estados a los que se puede llegar siguiendo las transiciones
correspondientes.
2. Construir la tabla de transiciones del AFD: La tabla de transiciones del AFD tendrá un conjunto de estados que
corresponden a los estados alcanzables del AFND, y las transiciones entre ellos se determinarán a partir de la
tabla de transiciones del AFND. Para cada estado del AFD, y para cada símbolo de entrada, se debe determinar el
estado alcanzable correspondiente siguiendo las transiciones del AFND. Los estados del AFD se pueden
representar como conjuntos de estados del AFND que son alcanzables desde el estado inicial del AFD.
3. Identificar los estados finales del AFD: Los estados finales del AFD serán aquellos que contengan al menos un
estado final del AFND.
4. Diseñar el AFD resultante: Una vez que se han construido la tabla de transiciones del AFD y se han identificado
los estados finales, se puede diseñar el AFD resultante con los mismos símbolos de entrada y la misma estructura
que el AFND original.

Ejemplo:

Obtener AFDmin desde AFD:

1. Eliminar los estados no alcanzables desde el estado inicial.

2. Eliminar los estados desde los cuales no es posible alcanzar un estado final.
3. Construir una partición 𝜋0 del conjunto de estados, que consiste en dos grupos de estados finales y no finales.
4. Sea 𝑘 = 0.
5. Definir 𝜋𝑘+1 : Para cada grupo 𝐺 de una partición𝜋𝑘 , dividir a 𝐺 en subgrupos tales que dos estados 𝑠, 𝑡 están en
el mismo grupo, si y solo si para todo símbolo 𝑎 del alfabeto de entrada, los estados 𝑠, 𝑦 van al mismo grupo de
𝜋𝑘 .
6. 𝑘 = 𝑘 + 1
7. Si 𝜋𝑘 ≠ 𝜋𝑘+1 volver al paso 5. En caso contrario, terminar.
Ejemplos:
Obtener Gramática Regular desde Lenguaje:

1. Identifica todas las reglas de producción del lenguaje. Estas reglas son la forma en que se construyen las palabras
y las frases del lenguaje.
2. Revisa las reglas de producción y verifica si cada una de ellas se puede escribir en la forma de una regla de
producción de una gramática regular. Las reglas de producción de una gramática regular toman la forma A → aB
o A → a, donde A y B son símbolos no terminales y a es un símbolo terminal.
3. Si una regla de producción no se puede escribir en la forma de una regla de producción de una gramática regular,
entonces el lenguaje no es regular. En este caso, tendrías que buscar otra forma de describir el lenguaje.
4. Si todas las reglas de producción se pueden escribir en la forma de una regla de producción de una gramática
regular, entonces puedes escribir la gramática regular completa.

Ejemplos:
Obtener Gramática Regular desde AF:

1. Asociar al estado inicial el símbolo distinguido 𝑆.

2. Asociar a cada estado (menos al inicial) el autómata a un símbolo no terminal. Si el estado inicial llega al arco,
asociar un símbolo no terminal, además del símbolo 𝑆. No asociar símbolos no terminales a aquellos estados
finales de los que no salen arcos.
3. Para cada transición definida 𝛿(𝑒𝑖 , 𝑎) = 𝑒𝑗 agregar al conjunto de producciones la producción 𝑎 → 𝑎𝐵, siendo
𝐴, 𝐵 los símbolos no terminales asociados a 𝑒𝑖 , 𝑒𝑗 .
a. Si 𝑒𝑗 es un estado final, agregar también la producción 𝐴 → 𝑎.
b. Si 𝑒𝑗 es un estado inicial (tiene el símbolo distinguido y no terminal asociado), utilizar el símbolo no
terminal.
4. Si el estado inicial es final, agregar la producción 𝑆 → 𝜀.

Ejemplos:
Lema Pumping: Se utiliza para demostrar si un lenguaje infinito es regular. Establece que para cualquier lenguaje regular,
existe una constante de bombeo 𝑝 tal que cualquier cadena en el lenguaje de longitud mayor o igual a 𝑝 puede ser
dividida en tres partes (𝑥, 𝑦, 𝑧) de manera que se cumpla:

• La cadena 𝑥𝑦 también pertenece al lenguaje.

• La longitud de la cadena 𝑦 es 0 ≤ 𝑦 ≤ 𝑝.
• Cualquier repetición de la cadena 𝑦 (por ejemplo "xyyyz", "xyyyyyz") también pertenece al lenguaje.

Contrarrecíproco del Lema Pumping: Si un lenguaje no cumple con la propiedad del lema del bombeo, entonces el
lenguaje no es regular. Si es posible encontrar una cadena en el lenguaje que no se puede dividir en tres partes como lo
requiere el lema del bombeo, entonces podemos concluir que el lenguaje no es regular.

Ejemplo:

Autómata de Pila: Se define como una tupla 𝐴𝑃 =< 𝐸, 𝐴, 𝑃, 𝛿, 𝑒0 , 𝑍0 , 𝐹 > donde:

• 𝐸 es el conjunto finito de estados.

• 𝐴 es el alfabeto de entrada.
• 𝑃 es el alfabeto de la pila 𝑃 ∩ 𝐴 = ∅.
• 𝛿 es la función de transición de estados que se define como 𝐸 × (𝐴 ∪ {𝜀}) × 𝑃 → 𝐸 × 𝑃 ∗ . Donde:
o 𝛿(𝑒𝑖 , 𝑎, 𝑋) = (𝑒𝑗 , 𝛼).
o 𝛿(𝑒𝑖 , 𝜀, 𝑋) = (𝑒𝑗 , 𝛼) y 𝑎 ∈ 𝐴, 𝑋 ∈ 𝑃, 𝛼 ∈ 𝑝 ∗ , 𝑒𝑖 ∧ 𝑒𝑗 ∈ 𝐸.
• 𝑒0 es el estado inicial 𝑒0 ∈ 𝐸.
• 𝑍0 es el símbolo distinguido 𝑍0 ∈ 𝑃.
• 𝐹 es el conjunto de estados finales 𝐹 ⊆ 𝐸.

La configuración de una transición en un autómata de pila es una tupla < 𝑒, 𝜎, 𝜋 > donde 𝜎 es la cadena de entrada, y 𝜋
es el contenido de la pila.
Ejemplo: