Cuando el estado del autómata es formula_12, el símbolo que la cabeza lectora está inspeccionando en ese momento es formula_13, y en la cima de la pila nos encontramos el símbolo formula_14, se realizan las siguientes acciones: