donde formula_35 es el estado actual, formula_13 es el símbolo en la entrada y formula_37 se extrae de la cima de la pila.