540 likes | 706 Views
UNIT -IV. By Mr. M. V. Nikum (B.E.I.T). Software Development Tools. LEX (Lexical Analyzer Generator ) YACC (Yet Another Compiler Compiler )(Parse Generator). LEX. LEX accepts and input specification which consists of two components
E N D
UNIT -IV ByMr. M. V. Nikum (B.E.I.T)
Software Development Tools • LEX (Lexical Analyzer Generator ) • YACC (Yet Another Compiler Compiler )(Parse Generator)
LEX accepts and input specification which consists of two components • Specification of string representing Lexical units • Specification of semantic action aimed at building TR (Translation Rule) • TR consists of set of tables of lexical units and a sequence of tokens for the lexical units occurring in the source statement.
YACC is available on Unix system. • YACC can be used for the production of compiler for PASCAL FORTRAN C C ++ • Lexical scanner must be supplied for use with YACC. • This scanner is called by the parser when ever a new input token is needed. • The YACC parser generator accepts and input grammar for the language being complied and set of actions corresponding to rules of grammar. • The parser generated by YACC use the bottom up parse method. • The parser produced by YACC has very good error detection properties.
The scanner recognizes words • The parser recognizes syntactic units • Parser functions: • Check validity of source string based on specified syntax rules • Determine the syntactic structure of source string
For an invalid string, the parser issues a diagnostic message reporting the cause & nature of errors in the string • For valid string, it builds a parse tree to reflect the sequence of the derivations or reduction performed during parsing. • Each step in parsing can identify an elementary sub tree by deriving a string from an NT of reducing a string to an NT
Check and verify syntax based on specified syntax rules • Are regular expressions sufficient for describing syntax? • Example 1: Infix expressions • Example 2: Nested parentheses • We use Context-Free Grammars (CFGs) to specify context-free syntax. • A CFG describes how a sentence of a language may be generated.
CFG • A CFG is a quadruple (N, T, R, S) where • N is the set of non-terminal symbols • T is the set of terminal symbols • S N is the starting symbol • R is a set of rules • Example: The grammar of nested parenthesesG = (N, T, R, S) where • N = {S} • T ={(, ) } • R ={ S (S) , SSS, S }
Derivations • Thelanguage described by a CFG is the set of strings that can be derived from the start symbol using the rules of the grammar. • At each step, we choose a non-terminal to replace. S(S) (SS) ((S)S) (( )S) (( )(S)) (( )((S))) (( )(( ))) sentential form derivation This example demonstrates a leftmost derivation : one where we always expand the leftmost non-terminal in the sentential form.
Derivations and parse trees • We can describe a derivation using a graphical representation called parse tree: • the root is labeled with the start symbol, S • each internal node is labeled with a non-terminal • the children of an internal node A are the right-hand side of a production A • each leaf is labeled with a terminal • A parse tree has a unique leftmost and a unique rightmost derivation (however, we cannot tell which one was used by looking at the tree)
Derivations and parse trees • So, how can we use the grammar described earlier to verify the syntax of "(( )((( ))))"? • We must try to find a derivation for that string. • We can work top-down (starting at the root/start symbol) or bottom-up (starting at the leaves). • Careful! • There may be more than one grammars to describe the same language. • Not all grammars are suitable
Types of Parsing • Top-down parsing • Recursive Descent parser • Predictive parser • Bottom-up parsing • Shift-reduce • Operator Precedence • LR Parser
Top-down Parsing • Starts with sentence symbol & Builds down towards terminal. • It derives a identical string to a given I/P string by applying rules of grammar to distinguish symbol. • Output would be a syntax tree for I/P string • At every stage of derivation, an NT is chosen & derivation affected according to grammar rule.
e.g. consider the grammarE T + E / TT V* T /VV id • Source string id + id * id
Limitations of Top-down parsing • The need of back tracking is must. Therefore semantic analysis cant be implemented with syntax analysis. • Back tracking slowdowns the parsing even if now semantic actions are performed during parsing. • Precise error indication is not possible in top down analysis. When ever a mismatch is encountered , the parser performs the standard action of backtracking. When no predictions are possible, the input string is declared erroneous.
3. Certain grammar specification are not amendable (suitable) to top down analysis. The left-to-left nature of parser would push the parser into an infinite loop of prediction making. To make top-down parsing tensile ,it is necessary to rewrite a grammar so as to eliminate left recursion.
e.g. consider the grammarE E+ E / E*E/E/id • Source string id + id * id • Backtracking
e.g. consider the grammarE E+ E / E*E/E/id • Source string id + id * id • Left recursion
Top-Down parsing without backtracking • Whenever a prediction has to be made for leftmost NT of sentential form, a decision would be made as to which RHS alternative for NT can be lead to a sentence resembling input string. • We must select RHS alternative which can produce the next input symbol • The grammar may too be modified to fulfill condition • Due to deterministic nature of parsing such parses are know as predictive parses. A popular from of predictive parser used in practice is called recursive decent parser.
e.g. ET+E/T TV*T/V V id • The modified grammar is-- ET E’ E’+E/€ TV T’ T’*T/€ V id
Recursive Descent Parser • If recursive rule are exist in grammar then all these procedures will be recursive & such parse known as RDP. • It is constructed by writing routines to recognize each non-terminal symbol. • It is well suited for many type of attributed grammar. • Synthesized attribute can be used because it gives depth-first construct of parse tree • It uses simple prediction parsing strategy.
Error detection is restricted to routines which gives defined set of symbols in first position. • It makes possible recursive call to parse procedures till the required terminal string is obtain. • RDP are easy to construct if programming language permits.
Predictive Parser(Table Driven Parser) • When recursion is not permitted by programming language in that case these parsers are used. • These are the table driven parsers, uses prediction technique to eliminate back tracking. • For a given NT a prediction & a first terminal symbol is produced.
A parse table indicates what RHS alternative is used to make prediction. • It uses its own stack to store NT for which prediction is not yet made.
e.g. ET+E/T TV*T/V V id • The modified grammar is-- ET E’ E’+TE’/€ TV T’ T’*VT’/€ V id
Bottom–up Parsing [Shift Reduce Parser] • A bottom up parser attempt to develop the syntax tree for an input string through a sequence of reductions. • If the input string can be reduced to the distinguished symbol , the string is valid. If not , error would have be detected and indicated during the process of reduction itself. • Attempts at reduction starts with the first symbol in the string and process to the right.
Reduction should be processed as follows • For current sentential form, n symbols to the left of current position are matches with all RHS alternative of grammar. • IF match is found, these n symbols are replaced with NT on LHS of the rule. • If symbol do not find a match, then n-1 symbols are matched, followed by n-2 symbols etc.
Until it is determined that no reduction is possible at current stage of parsing, at this point one new symbol of input string would be admitted for parsing. This is known as Shift action. Due to this nature of parsing , these parses are known as left-to-left parser or shift reduce parser.
Handles • Handle of a string: • Substring that matches the RHS of some production AND whose reduction to the non-terminal on the LHS is a step along the reverse of some rightmost derivation • A certain sentential form may have many different handles. • Right sentential forms of a non-ambiguous grammar have one unique handle
Rules of Production:- • E E+E • E E*E • EE • E id
Operator-Precedence Parser • Operator grammar • small, but an important class of grammars • we may have an efficient operator precedence parser (a shift-reduce parser) for an operator grammar. • In an operator grammar, no production rule can have: • at the right side • two adjacent non-terminals at the right side. • Ex: EAB EEOE EE+E | AaEid E*E | Bb O+|*|/ E/E | id not operator grammar not operator grammar operator grammar