Prerequisite – Classification of Top Down Parsers
The Predictive parsing is a special form of recursive descent parsing, where no backtracking is required, so this can predict which production to use to replace the input string.
Non-recursive predictive parsing or table-driven is also known as LL(1) parser. This parser follows the leftmost derivation (LMD).
LL(1): here, first L is for Left to Right scanning of inputs, the second L is for left most derivation procedure, 1 = Number of Look Ahead Symbols
The main problem during predictive parsing is that of determining the production to be applied for a non-terminal.
This non-recursive parser looks up which production to be applied in a parsing table. A LL(1) parser has the following components:
(1) buffer: an input buffer which contains the string to be passed (2) stack: a pushdown stack which contains a sequence of grammar symbols (3) A parsing table: a 2d array M[A, a] where A->non-terminal, a->terminal or $ (4) output stream: end of the stack and an end of the input symbols are both denoted with $
Algorithm for non recursive Predictive Parsing:
The main Concept ->With the help of FIRST() and FOLLOW() sets, this parsing can be done using a just a stack which avoids the recursive calls.
For each rule, A->x in grammar G:
- For each terminal ‘a’ contained in FIRST(A) add A->x to M[A, a] in parsing table if x derives ‘a’ as the first symbol.
- If FIRST(A) contain null production for each terminal ‘b’ in FOLLOW(A), add this production (A->null) to M[A, b] in parsing table.
- In the beginning, the pushdown stack holds the start symbol of the grammar G.
- At each step a symbol X is popped from the stack:
if X is a terminal then it is matched with the lookahead and lookahead is advanced one step,
if X is a nonterminal symbol, then using lookahead and a parsing table (implementing the FIRST sets) a production is chosen and its right-hand side is pushed into the stack.
- This process repeats until the stack and the input string become null (empty).
Table-driven Parsing algorithm:
Input: a string w and a parsing table M for G.
tos top of the stack Stack[tos++] <-$ Stack[tos++] <-Start Symbol token <-next_token() X <-Stack[tos] repeat if X is a terminal or $ then if X = token then pop X token is next of token() else eror() else /* X is a non-terminal */ if M[x, token] = X -> y1y2...yk then pop x push else error() X Stack[tos] until X = $
// Non-recursive parser model diagram:
So according to the given diagram the non-recursive parsing algorithm.
Input: A input string ‘w’ and a parsing table(‘M’) for grammar G.
Output: If w is in L(G), an LMD of w; otherwise an error indication.
Set input pointer to point to the first symbol of the string $; repeat let X be the symbol pointed by the stack pointer, and a is the symbol pointed to by input pointer; if X is a terminal or $ then if X=a then pop X from the stack and increment the input pointer; else eror() end if else /*if X is a non terminal */ if then begin pop X from the stack; push onto the stack, with Y1 on top; output the production end else eror() end if end if until X=$ /* stack is empty */
Example: Consider the subsequent LL(1) grammar:
S -> A S -> ( S * A) A -> id
Now let’s parse the given input:
( id * id )
The parsing table:
- row-> for each and every non-terminal symbol,
- column-> for each and every terminal (including the special terminal).
Each cell of this table will contain at most one rule of the given grammar:
Now let’s see using the algorithm, how the parser uses this parsing table to process the given input.
The parser thus ends because there remains only ‘$’ on both its stack and its input stream. In this case, the parser reports that it has accepted the input string and writes the following list of rules to the output stream:
S -> ( S * A), S -> A, A -> id, A -> id
This is indeed a list of rules for an LMD of the input string, which is:
S -> ( S * A ) -> ( A * A ) -> ( id * A ) -> ( id * id )
Attention reader! Don’t stop learning now. Get hold of all the important CS Theory concepts for SDE interviews with the CS Theory Course at a student-friendly price and become industry ready.
- Difference between Recursive Predictive Descent Parser and Non-Recursive Predictive Descent Parser
- Difference between Top down parsing and Bottom up parsing
- Total Recursive Functions and Partial Recursive Functions in Automata
- Parsing | Set 1 (Introduction, Ambiguity and Parsers)
- Construction of LL(1) Parsing Table
- Parsing ambiguos grammars using LR parser
- Viable Prefix in Bottom-up Parsing
- Recursive Relationships in ER diagrams
- Recursive Descent Parser
- Difference between Adaptive and Non-Adaptive Routing algorithms
- HTTP Non-Persistent & Persistent Connection | Set 2 (Practice Question)
- Designing Non-Deterministic Finite Automata (Set 3)
- Non-Restoring Division For Unsigned Integer
- Difference between Preemptive Priority based and Non-preemptive Priority based CPU scheduling algorithms
- Computable and non-computable problems in TOC
- Non-Contiguous Allocation in Operating System
- Privileged and Non-Privileged Instructions in Operating System
- Designing Non-Deterministic Finite Automata (Set 1)
- Designing Non-Deterministic Finite Automata (Set 4)
- Designing Non-Deterministic Finite Automata (Set 5)
If you like GeeksforGeeks and would like to contribute, you can also write an article using contribute.geeksforgeeks.org or mail your article to firstname.lastname@example.org. See your article appearing on the GeeksforGeeks main page and help other Geeks.
Please Improve this article if you find anything incorrect by clicking on the "Improve Article" button below.