Architektura parsera.
Konwencjonalne parsery LR są implementowane jako automaty ze stosem bazujące na tabelach.
Sterowany tabelą parser bottom-up jest przedstawiony schematycznie na rysunku 1. Mamy następujący opis prawostronnego wyprowadzenia przez ten parser.
Przypadek ogólny Parser jest automatem ze stanami, na który składa się: bufor wejścia stos na którym przechowywana jest lista stanów w których był automat tabela goto w której opisane jest, do którego nowego stanu powinniśmy przejść tabela action która daje regułę gramatyki do zastosowania w bieżącym stanie i dla aktualnego symbolu terminalnego w strumieniu wejściowym.
Algorytm parsingu Ponieważ parser LR czyta strumień wejściowy od lewej do prawej ale potrzebuje wyprodukować prawostronne wyprowadzenie, używa redukcji zamiast wyprowadzeń do przetwarzania strumienia wejściowego. Oznacza to, że algorytm działa tworząc "lewostronną redukcję" wejścia. Końcowym rezultatem po odwróceniu będzie prawostronne wyprowadzenie.
Algorytm parsingu LR działa następująco: