Le problème central en analyse syntaxique est de construire des systèmes recognitifs équivalents au système génératif, la grammaire algébrique dans notre cas. Le cours précédent donnait la formulation d'analyseurs descendants malheureusement fortement non-déterministes, et peu utilisables en cas de récursivité gauche de la grammaire.
Une autre manière de procéder est d'utiliser des analyseurs ascendants, tout aussi non déterministes dans le cas général, mais qui ne souffrent pas des faiblesses liées aux grammaires récursives gauches.
Un analyseur ascendant procède en inversant les relations de dérivations droites : il commence par réduire le syntagme le plus à gauche possible dans l'entrée, aussi appelé poignée.
Le résultat majeur donnant naissance à l'analyse LR est que le contexte jusqu'à la poignée d'une forme sententielle, plus potentiellement k symboles à sa droite, est un langage rationnel, propre à être reconnu par un automate à états finis. Ces états servent de classe d'équivalence dite LR(k) sur les préfixes viables de la grammaire comme de l'automate à pile.
On obtient au final avec LR la classe de grammaires analysables de gauche à droite par un automate à pile la plus large possible.