What is Components of LR Parsers in compiler design?

Compiler Design Programming Languages Computer Programming

Compiler Design Online Training

LR Parser is a class of Bottom-Up Parser that is used to parse Context-Free Grammars. LR Parsing is known as LR (K) parsing. LR parser is a shift-reduce parser that creates the use of deterministic finite automata, identifying the collection of all applicable prefixes by reading the stack from bottom to top.

It decides what handle, if any, is ava_ilable. A viable prefix of a right sequential form is that prefix that includes a handle, but no symbol to the right of the handle. Thus, if a finite state machine that identifies viable prefixes of the right sentential form is constructed, it is used to guide the handle selection in the shift-reduce parser.

LR parser stack includes two kinds of symbols− state symbols can identify the states of the DFA and grammar symbols. The parser begins with the initial state of a DFA, I₀ on the stack. The parser operates by considering the next input symbol 'a' and the state symbol I_i on the top of the stack.

There are various components of LR Parser which are as follows.

Input Buffer − It includes the string to be parsed, followed by $, a symbol used as the right end marker to denote the end of the string.
Stack − It is used to store grammar symbols and states.

s₀X₁s₁X₂……………………X_ms_m$

Where X₁, X₂……………….X_m are grammar symbols

and s₀, s₁, s₂………………..s_m are states

Parsing Table: Parsing Table is divided into two sections −
- Actions: Actions can be a shift, reduce, accept and error.
- goto: It takes state and Grammar symbols as arguments and produces a state example, goto (s, X).
Parsing Program: It is a driving program that performs the following functions:
- It maintains Initial configuration (s₀,w$) where s₀ is starting state, w is a string.
- It supports the following configuration
- s₀X₁s₁X₂ … … X_mS_m, a_i, a_i+1 … … a_n$
  Stack Input String (w)
- It determines S_m the state currently on top of the stack and ai the current input symbol.
- It takes Actions depending on the entry action [S_m,a_i] in the Parsing Table.
Actions− Actions taken by Parsers are of the following types−
Shift − If Action [S_m, a_i] = shift s then shift a_i with state s onto the stack, i.e., the configuration becomes.