Reconocimiento Sintáctico Ascendente no-Recursivo

Entrada:
Una hilera w$ and a la tabla de análisis sintáctico M[] para la gramática G

apuntar ae al primer símbolo de w$
repeat forever begin
    Sea s el estado en la cima de la pila y a el símbolo apuntado por ae;
    if accion [s, a] = desplazar s' then begin
        meter a y después s' en la cima de la pila;
        avanzar ae al siguiente símbolo de entrada
    end
    else if accion [s, a] = reducir A -> Y1 Y2 ... Yk then begin
        sacar 2*k símbolos de la pila;
        sea s' el estado que ahora está en la cima de la pila;    
        meter A y después go_to [s', A] en la cima de la pila;
        emitir la producción A -> Y1 Y2 ... Yk
    end
    else if accion [s, a] = aceptar then
        return
    else error()
end