ICS312 LEX Set 25. LEX Lex is a program that generates lexical analyzers Converting the source code into the symbols (tokens) is the work of the C program.

Slides:



Advertisements
Similar presentations
Lexical Analysis Consider the program: #include main() { double value = 0.95; printf("value = %f\n", value); } How is this translated into meaningful machine.
Advertisements

COS 320 Compilers David Walker. Outline Last Week –Introduction to ML Today: –Lexical Analysis –Reading: Chapter 2 of Appel.
Lex -- a Lexical Analyzer Generator (by M.E. Lesk and Eric. Schmidt) –Given tokens specified as regular expressions, Lex automatically generates a routine.
CS252: Systems Programming Ninghui Li Topic 4: Regular Expressions and Lexical Analysis.
 Lex helps to specify lexical analyzers by specifying regular expression  i/p notation for lex tool is lex language and the tool itself is refered to.
176 Formal Languages and Applications: We know that Pascal programming language is defined in terms of a CFG. All the other programming languages are context-free.
1 Chapter 2: Scanning 朱治平. Scanner (or Lexical Analyzer) the interface between source & compiler could be a separate pass and places its output on an.
Tools for building compilers Clara Benac Earle. Tools to help building a compiler C –Lexical Analyzer generators: Lex, flex, –Syntax Analyzer generator:
Chapter 3 Chang Chi-Chung. The Structure of the Generated Analyzer lexeme Automaton simulator Transition Table Actions Lex compiler Lex Program lexemeBeginforward.
COS 320 Compilers David Walker. Outline Last Week –Introduction to ML Today: –Lexical Analysis –Reading: Chapter 2 of Appel.
Scripting Languages Chapter 8 More About Regular Expressions.
Lecture 2: Lexical Analysis CS 540 George Mason University.
1 Scanning Aaron Bloomfield CS 415 Fall Parsing & Scanning In real compilers the recognizer is split into two phases –Scanner: translate input.
CPSC 388 – Compiler Design and Construction
A brief [f]lex tutorial Saumya Debray The University of Arizona Tucson, AZ
CS 536 Spring Learning the Tools: JLex Lecture 6.
Language Recognizer Connecting Type 3 languages and Finite State Automata Copyright © – Curt Hill.
1 Flex. 2 Flex A Lexical Analyzer Generator  generates a scanner procedure directly, with regular expressions and user-written procedures Steps to using.
Introduction To Yacc and Semantics © Allan C. Milne Abertay University v
Compiler Phases: Source program Lexical analyzer Syntax analyzer Semantic analyzer Machine-independent code improvement Target code generation Machine-specific.
REGULAR EXPRESSIONS. Lexical Analysis Lexical analysers can be constructed by programs such as LEX These programs employ as input a description of the.
Lesson 10 CDT301 – Compiler Theory, Spring 2011 Teacher: Linus Källberg.
Review: Regular expression: –How do we define it? Given an alphabet, Base case: – is a regular expression that denote { }, the set that contains the empty.
Lecture 2: Lexical Analysis
CPSC 388 – Compiler Design and Construction Scanners – JLex Scanner Generator.
Lexical Analysis (I) Compiler Baojian Hua
Lexical Analysis I Specifying Tokens Lecture 2 CS 4318/5531 Spring 2010 Apan Qasem Texas State University *some slides adopted from Cooper and Torczon.
COMP313A Programming Languages Lexical Analysis. Lecture Outline Lexical Analysis The language of Lexical Analysis Regular Expressions.
Flex: A fast Lexical Analyzer Generator CSE470: Spring 2000 Updated by Prasad.
Compiler Tools Lex/Yacc – Flex & Bison. Compiler Front End (from Engineering a Compiler) Scanner (Lexical Analyzer) Maps stream of characters into words.
Review: Compiler Phases: Source program Lexical analyzer Syntax analyzer Semantic analyzer Intermediate code generator Code optimizer Code generator Symbol.
JLex Lecture 4 Mon, Jan 24, JLex JLex is a lexical analyzer generator in Java. It is based on the well-known lex, which is a lexical analyzer generator.
Introduction to Lex Ying-Hung Jiang
Introduction to Yacc Ying-Hung Jiang
1 Using Lex. Flex – Lexical Analyzer Generator A language for specifying lexical analyzers Flex compilerlex.yy.clang.l C compiler -lfl a.outlex.yy.c a.outtokenssource.
Introduction to Lex Fan Wu
Flex Fast LEX analyzer CMPS 450. Lexical analysis terms + A token is a group of characters having collective meaning. + A lexeme is an actual character.
Practical 1-LEX Implementation
1 Lex & Yacc. 2 Compilation Process Lexical Analyzer Source Code Syntax Analyzer Symbol Table Intermed. Code Gen. Code Generator Machine Code.
Compiler Principle and Technology Prof. Dongming LU Mar. 26th, 2014.
1 LEX & YACC Tutorial February 28, 2008 Tom St. John.
Yacc. Yacc 2 Yacc takes a description of a grammar as its input and generates the table and code for a LALR parser. Input specification file is in 3 parts.
PL&C Lab, DongGuk University Compiler Lecture Note, MiscellaneousPage 1 Yet Another Compiler-Compiler Stephen C. Johnson July 31, 1978 YACC.
1 Compiler Construction (CS-636) Muhammad Bilal Bashir UIIT, Rawalpindi.
LECTURE 7 Lex and Intro to Parsing. LEX Last lecture, we learned a little bit about how we can take our regular expressions (which specify our valid tokens)
Compilers Computer Symbol Table Output Scanner (lexical analysis)
Chapter 2 Scanning. Dr.Manal AbdulazizCS463 Ch22 The Scanning Process Lexical analysis or scanning has the task of reading the source program as a file.
LECTURE 11 Semantic Analysis and Yacc. REVIEW OF LAST LECTURE In the last lecture, we introduced the basic idea behind semantic analysis. Instead of merely.
using Deterministic Finite Automata & Nondeterministic Finite Automata
1 Compiler Construction (CS-636) Muhammad Bilal Bashir UIIT, Rawalpindi.
More yacc. What is yacc – Tool to produce a parser given a grammar – YACC (Yet Another Compiler Compiler) is a program designed to compile a LALR(1) grammar.
CS 404Ahmed Ezzat 1 CS 404 Introduction to Compiler Design Lecture 1 Ahmed Ezzat.
Deterministic Finite Automata Nondeterministic Finite Automata.
ICS611 Lex Set 3. Lex and Yacc Lex is a program that generates lexical analyzers Converting the source code into the symbols (tokens) is the work of the.
9-December-2002cse Tools © 2002 University of Washington1 Lexical and Parser Tools CSE 413, Autumn 2002 Programming Languages
CS 404Ahmed Ezzat 1 CS 404 Introduction to Compiler Design Lecture Ahmed Ezzat.
LEX & Yacc Sung-Dong Kim, Dept. of Computer Engineering, Hansung University.
Lexical Analysis.
Chapter 3 Lexical Analysis.
Tutorial On Lex & Yacc.
Chapter 2 Scanning – Part 1 June 10, 2018 Prof. Abdelaziz Khamis.
Regular Languages.
JLex Lecture 4 Mon, Jan 26, 2004.
Bison: Parser Generator
Review: Compiler Phases:
Appendix B.1 Lex Appendix B.1 -- Lex.
Compiler Design Yacc Example "Yet Another Compiler Compiler"
CMPE 152: Compiler Design December 4 Class Meeting
Systems Programming & Operating Systems Unit – III
Lex Appendix B.1 -- Lex.
Presentation transcript:

ICS312 LEX Set 25

LEX Lex is a program that generates lexical analyzers Converting the source code into the symbols (tokens) is the work of the C program produced by Lex. This program serves as a subroutine of the C program produced by YACC for the parser

Lexical Analysis LEX employs as input a description of the tokens that can occur in the language This description is made by means of regular expressions, as defined on the next slide. Regular expressions define patterns of characters.

Basics of Regular Expressions 1. Any character (or string of characters) except those (called metacharacters) which have a special interpretation, such as () [] {} + * ? | etc. For instance the string “if” in a regular expression will match the identical string in the source code.

2. The period symbol “.” is used to match any single character in the source code except the new line indicator "\n".

3.Square brackets are used to define a character class. Either a sequence of symbols or a range denoted using the hyphen can be employed,e.g.: [01a-z] A character class matches a single symbol in the source code that is a member of the class. For instance [01a-z] matches the character 0 or 1 or any lower case alphabetic character

4. The "+" symbol following a regular expression denotes 1 or more occurrences of that expression. For instance [0-9]+ matches any sequence of digits in the source code.

Similarly: 5. A "*" following a regular expression denotes 0 or more occurrences of that expression. 6. A “?" following a regular expression denotes 0 or 1 occurrence of that expression.

7. The symbol “|” is used as an OR operator to identify alternate choices. For instance [a-z]+|9 matches either a lower case alphabetic or the digit “9”.

8. Parentheses can be freely used. For example: (a|b)+ matches e.g. abba while a|b+ match a or a string of b’s.

9. Regular expressions can be concatenated For instance: [a-zA-Z]*[0-9]+[a-zA-Z] matches any sequence of 0 or more letters, followed by 1 or more digits, followed by 1 letter

As has been shown, symbols such as +, *, ?,., (, ), [,] have special meanings in regular expressions. 10. If you want to include one of these symbols in a regular expression simply as a character, you can either use the c escape symbol “\” or double quotes. For example: [0-9]”+”[0-9] or [0-9]\+[0-9] match a digit followed by a plus sign, followed by a digit

Examples Given: R = ( abb | cd ) and S = abc RS = ( abbabc | cdabc ) is a regular expression. SR = ( abcabb | abccd ) is a regular expression. The following strings are matched by R*: abbcdcdcdcd  cdabbcdabbabbcd abb cd cdcdcdcdcdcdcd and so forth.

What kinds of strings can be matched by the regular expression: ( a | c )* b ( a | c )* ( a | c )* is a regular expression that can match the empty string , or any string containing only a's and c's. b is a regular expression that can match a single occurrence of the symbol "b". ( a | c )* is the same as the first regular expression. So, the entire expression: ( a | c )* b ( a | c )* can match any string made up of a possibly empty string of a's and c's, followed by a single b, followed by a possibly empty string of a’s and c’s In other words the regular expression can match any string on the alphabet {a,b,c} that contains exactly one b.

What kinds of strings can be matched by the regular expression: ( a | c )* ( b |  ) ( a | c )* This is the same as the previous example, except that the regular expression in the center is now: ( b |  ) ( b |  ) can match either an occurrence of a single b, or the empty string which contains no characters So the entire expression ( a | c )* ( b |  ) ( a | c )* can match any string over the alphabet {a,b,c} that contains either 0 or 1 b's.

Precedence of Operations in Regular Expressions From highest to lowest Concatenation Closure (*) Alternation ( OR ) Examples: a | bcf means the symbol a OR the string bcf a( bcf* ) is the string abc followed by 0 or more repetitions of the symbol f. Note: this is the same as (abcf*)

GRAMMARS vs REGULAR EXPRESSIONS Consider the set of strings (ie. language) {a n b a n | n > 0} A context-free grammar that generates this language is: S -> b b -> a b a However, as we will show later, it is not possible to construct a regular expression that recognizes this language. It’s not relevant to this course, but you may be interested to know that it is, in turn, not possible to construct a context-free grammar for a language whose definition is a simple extension of that given above: {a n b a n b n a n | n > 0}

In the Lex definition file one can assign macro names to regular expressions e.g.: digit 0|1|2|...|9 assigns the macro name digit integer {digit}+ assigns the macro name integer to 1 or more repetitions of digit NOTE. when using a macro name as part of a regular expression, you need to enclose the name in curly parentheses {}. Signed_int (+|-)?{integer} assigns macro name signed_int to an optional sign followed by an integer number {signed_int}(\.{integer})?(E{signed_int})? assigns the macro name number to a signed_int followed by an optional fractional part followed by an optional exponent part

alpha [a-zA-Z] assigns the macro name alpha to the character class given by a-z and A-Z identifier {alpha}({alpha}|{digit})* assigns the macro name identifier to an alpha character followed by the alternation of either alpha characters or digits, with 0 or more repetitions.

RULE Using the regular expression for an identifier on the previous slide, what would be the first token of the following string? MAX23= Z Lex picks as the "next" token, the longest string that can be matched by one of it regular expressions. In this case, MAX23 would be matched as an identifier, not just M or MA or MAX

An example of a Lex definition file /* A standalone LEX program that counts identifiers and commas */ /* Definition Section */ %{ int nident = 0; /* # of identifiers in the file being scanned */ int ncomma = 0; /* # of commas in the file */ %} /* definitions of macro names*/ digit [0-9] alph [a-zA-Z] % /* Rules Section */ /* basic of patterns to recognize and the code to execute when they occur */ {alph}({alph}|{digit})* {++nident;} "," {++ncomma;}. ; %

An example of a scanner definition file (Cont.) /* subroutine section */ /* the last part of the file contains user defined code, as shown here. */ main() { yylex(); printf( "%s%d\n", "The no. of identifiers = ", nident); printf( "%s%d\n", "The no. of commas = ", ncomma); } /* LEX calls this function when the end of the input file is reached */ yywrap(){}

Generating the Parser Using YACC The structure of a grammar to be used with YACC for generating a parser is similar to that of LEX. There is a definition section, a rules (productions) section, and a code section.

Example of an Input Grammar for YACC %{ /* ARITH.Y Yacc input for a arithmetic expression evaluator */ #include /* for printf */ #define YYSTYPE int int yyparse(void); int yylex(void); void yyerror(char *mes); %} %token number %

Example of an Input Grammar for YACC (Cont.1) program : expression {printf("answer = %d\n", $1);} ; expression : expression '+' term {$$ = $1 + $3;} | term ; term : term '*' number {$$ = $1 * $3;} | number ; %

Example of an Input Grammar for YACC (Cont.2) void main() { printf("Enter an arithmetic expression\n"); yyparse();} /* prints an error message */ void yyerror(char *mes) {printf("%s\n", mes);}

The LEX scanner definition file for the arithmetic expressions grammar %{ /* lexarith.l lex input for a arithmetic expression evaluator */ #include “y.tab.h” #include /* for atoi */ #define YYSTYPE int extern YYSTYPE yylval; %} digit [0-9] % {digit}+ {yylval = atoi(yytext); return number; } (" "|\t)* ; \n {return(0);} /* recognize Enter key as EOF */. {return yytext[0];} % int yywrap() {}