In syntax directed translation, along with the grammar it can identify some informal notations and these notations are known as as semantic rules.After implementing the Semantic Analysis, the source program is modified to an intermediate form.There is some information that is required by the Intermediate code generation phase to convert the semantically checked parse tree into intermediate code. But this information or attributes of variables cannot be represented alone by Context- Free Grammar.So, some semantic actions have to be attached with Context-Free grammar which helps the intermediate code generation phase to generate intermediate code.So, Attaching attributes to the variables of ... Read More

SolutionComputation of FIRSTE → E + T|TSince FIRST (E) does not contain ε.∴ FIRST (E) = FIRST(E + T) = FIRST(E)As, E → T∴ FIRST (E) = {FIRST(T)}                                       (1)T → T ∗ F|FAs FIRST (T) does not contain ε or T does not derive ε.∴ FIRST (T) = FIRST(T ∗ F) = {FIRST(T)}As, T → F (FIRST(T) = {FIRST(F)}                      (2)F → (E)|id∴ By Rule (3)of FIRSTFIRST (F) = {(, id}    ... Read More

There are three types of LR Parsers which are as follows −Simple LR Parser (SLR) − SLR represents "Simple LR Parser". It is very easy and costeffective to execute. But it fails to make a parsing table for some class of grammars, i.e., why CLR and LALR are used which implements mainly all class or type of grammars. It constructs parsing tables which helps to perform parsing of input strings. SLR Parsing can be done if context-free Grammar will be given. In LR (0), 0 means there is no Look Ahead symbol.The SLR parsing action and goto function from the ... Read More

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 available. 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, ... Read More

LR Parsing Tables are a two-dimensional array in which each entry represents an Action or goto entry. A programming language grammar having a large number of productions has a large number of states or items, i.e., I0, I1 … … In.So, due to more states, more Actions & goto entries will be filled, which requires a lot of memory. So, a two-dimensional array is not sufficient to store so many action entries, because each entry requires at least 8 bits to encode.So, we have to use more efficient encoding than a two-dimensional array for encoding, Action & goto field.For example, ... Read More

Problem Statement Consider the ambiguous grammar.E → E + EE → E * EE → (E)E → id(a) Construct LR (0) items for above grammar.(b) Construct SLR parsing table for grammar.(c) Parse the input string id + id * id. SolutionStep1− Construct Augmented Grammar(0) E′ → S(1) E → E + E(2) E → E ∗ E(3) E → (E)(4) E → idStep2− Find closure & goto functions to construct LR (0) items.Closure (E′ → ∙ E) =Applying goto on I9∵ goto cannot be applied on I9, ... Read More

Shift Reduce Parser is a type of Bottom-Up Parser. It generates the Parse Tree from Leaves to the Root. In Shift Reduce Parser, the input string will be reduced to the starting symbol. This reduction can be produced by handling the rightmost derivation in reverse, i.e., from starting symbol to the input string.Shift Reduce Parser requires two Data StructuresInput BufferStackThere are the various steps of Shift Reduce Parsing which are as follows −There are the various steps of Shift Reduce Parsing which are as follows −It uses a stack and an input buffer.Insert $ at the bottom of the stack ... Read More

SolutionStep1 − Construct Augment Grammar(0) S′ → S(1) S → A a(2) S → b A c(3) S → B c(4) S → b B a(5) A → d(6) B → dStep2 − Find Closure & goto. Construct a set of LR (1) items. Here all the boxes represent new states.LR (1) Parsing TableSo, the LR (1) Parsing Table has no several entries. Grammar is LR (1).Construction of LR (1) or Canonical LR Parsing TableInput − An Augmented Grammar G’.Output − The Canonical LR (1) Parsing TableMethodFilling the "shift" Entries(s) − Apply Rule (2a) of construction of CLR Parsing Table.Consider ... Read More

SolutionStep1 − Construct LR (1) Set of items. First of all, all the LR (1) set of items should be generated.In these states, states I3 and I6 can be merged because they have the same core or first component but a different second component of Look Ahead.Similarly, states I4 and I7 are the same.Similarly, states I8 and I9 are the same.So, I3 and I6 can be combined to make I36.I4 and I7 combined to make I47.I8 and I9 combined to make I89.So, the states will be∴ I3 = goto (I0, c)But I3 , I6 combined to make I36∴ I36 = ... Read More

LALR Parser is Look Ahead LR Parser. It is intermediate in power between SLR and CLR parser. It is the compaction of CLR Parser, and hence tables obtained in this will be smaller than CLR Parsing Table.Here, first of all, we will construct LR (1) items. Next, we will look for the items having the same first component, and they are merged to form a single set of items. It means the states have the same first component, but the different second component can be integrated into a single state or item.For Example.Suppose ifI4: C → d ∙ , c ... Read More