El algoritmo consta de una entrada, una salida, una pila, un programa conductor y una tabla de análisis sintáctico con dos partes (acción y transición). Lo que varía en todos los métodos LR es la tabla de análisis.

Cada Xi es un símbolo gramatical y cada Si es un símbolo llamado estado.

La tabla consta de dos partes, la función acción, que indica una acción del analizador y la función transición, que indica las transiciones entre estados.

La operaciones se basan en el estado en el tope de la pila Sm y el símbolo aI de la entrada; existen cuatro operaciones:

1. desplazar S, donde S es un estado
2. reducir por una producción gramatical A -> $beta;
3. Aceptar
4. Error

Algoritmo

ENTRADA: una cadena w y una tabla para la gramática G

SALIDA: si w pertenece a L(G), es un análisis ascendente de w, de lo contrario se indica error

MÉTODO: inicialmente la pila contiene So, donde So es el estado inicial y w$ esta en el buffer.

apuntar ae al primer símbolo de w$

apuntar ae al primer símbolo de w$

while(1) {
//sea S el estado en el tope de la pila y a
//el símbolo apuntado por ae

   if (accion[S,a]==desplazar S') {
     meter a y después S' en la pila
     avanza ae
 &nbsp }else if (accion[S,a]==reducir A -> β) {
     * sacar 2 x |β| símbolos de la pila
     * sea S' el estado actual en el tope de la pila
     * meter A y después transición[S',A] en el tope
     * emitir la producción A ->b
   }else if (acción[S,a]==Aceptar) {
     return();
   }else {
     error();
   }
}
}

Ejemplo:
Sea la gramática:

1. E -> E +T
2. E -> T
3. T -> T * F
4. T -> F
5. F -> (E)
6. F -> id

y la tabla:

para la cadena w = id * id + id la corrida sería la siguiente:

Analizador Ascendente LR.GIF (image/gif)
tablaLAAnalisisLR.GIF (image/gif)
resultadoCorridaLR.GIF (image/gif)