Administrivia. Lexical Analysis. Lecture 24. Outline. The Structure of a Compiler. Informal sketch of lexical analysis. Issues in lexical analysis


 Coleen Nelson
 2 years ago
 Views:
Transcription
1 dministrivia Lexical nalysis Lecture 24 Notes by G. Necula, with additions by P. Hilfinger Moving to 6 Evans on Wednesday HW available Pyth manual available on line. Please log into your account and electronically register today. Register your team with maketeam. See class announcement page. Project # available Friday. Use submit hw to submit your homework this week. Section (9M) is gone. Prof. Hilfinger CS 64 Lecture 2 Prof. Hilfinger CS 64 Lecture 2 2 Outline The Structure of a Compiler Informal sketch of lexical analysis Identifies tokens in input string Source Lexical analysis Tokens Issues in lexical analysis Lookahead mbiguities Specifying lexers Regular expressions Examples of regular expressions Prof. Hilfinger CS 64 Lecture 2 3 Today we start Optimization Parsing Interm. Language Code Gen. Machine Code Prof. Hilfinger CS 64 Lecture 2 4 Lexical nalysis What do we want to do? Example: if (i == j) z = ; else z = ; The input is just a sequence of characters: \tif (i == j)\n\t\tz = ;\n\telse\n\t\tz = ; Goal: Partition input string into substrings nd classify them according to their role Prof. Hilfinger CS 64 Lecture 2 5 What s a Token? Output of lexical analysis is a stream of tokens token is a syntactic category In English: noun, verb, adjective, In a programming language: Identifier, Integer, Keyword, Whitespace, Parser relies on the token distinctions: E.g., identifiers are treated differently than keywords Prof. Hilfinger CS 64 Lecture 2 6
2 Tokens Lexical nalyzer: Implementation Tokens correspond to sets of strings: Identifiers: strings of letters or digits, starting with a letter Integers: nonempty strings of digits Keywords: else or if or begin or Whitespace: nonempty sequences of blanks, newlines, and tabs OpenPars: leftparentheses n implementation must do two things:. Recognize substrings corresponding to tokens 2. Return:. The type or syntactic category of the token, 2. the value or lexeme of the token (the substring itself). Prof. Hilfinger CS 64 Lecture 2 7 Prof. Hilfinger CS 64 Lecture 2 8 Example Lexical nalyzer: Implementation Our example again: \tif (i == j)\n\t\tz = ;\n\telse\n\t\tz = ; Tokenlexeme pairs returned by the lexer: (Whitespace, \t ) (Keyword, if ) (OpenPar, ( ) (Identifier, i ) (Relation, == ) (Identifier, j ) The lexer usually discards uninteresting tokens that don t contribute to parsing. Examples: Whitespace, Comments Question: What happens if we remove all whitespace and all comments prior to lexing? Prof. Hilfinger CS 64 Lecture 2 9 Prof. Hilfinger CS 64 Lecture 2 Lookahead. Two important points:. The goal is to partition the string. This is implemented by reading lefttoright, recognizing one token at a time 2. Lookahead may be required to decide where one token ends and the next token begins Even our simple example has lookahead issues i vs. if = vs. == Next We need way to describe the lexemes of each token way to resolve ambiguities Is if two variables i and f? Is == two equal signs = =? Prof. Hilfinger CS 64 Lecture 2 Prof. Hilfinger CS 64 Lecture 2 2 2
3 Regular Languages Languages There are several formalisms for specifying tokens Regular languages are the most popular Simple and useful theory Easy to understand Efficient implementations Def. Let Σ be a set of characters. language over Σ is a set of strings of characters drawn from Σ (Σ is called the alphabet ) Prof. Hilfinger CS 64 Lecture 2 3 Prof. Hilfinger CS 64 Lecture 2 4 Examples of Languages Notation lphabet = English characters Language = English sentences Not every string on English characters is an English sentence lphabet = SCII Language = C programs Note: SCII character set is different from English character set Languages are sets of strings. Need some notation for specifying which sets we want For lexical analysis we care about regular languages, which can be described using regular expressions. Prof. Hilfinger CS 64 Lecture 2 5 Prof. Hilfinger CS 64 Lecture 2 6 Regular Expressions and Regular Languages Each regular expression is a notation for a regular language (a set of words) tomic Regular Expressions Single character: c L( c ) = { c } (for any c Σ) If is a regular expression then we write L() to refer to the language denoted by Concatenation: B (where and B are reg. exp.) L(B) = { ab a L() and b L(B) } Example: L( i f ) = { if } (we will abbreviate i f as if ) Prof. Hilfinger CS 64 Lecture 2 7 Prof. Hilfinger CS 64 Lecture 2 8 3
4 Compound Regular Expressions Union L( B) = L() L(B) = { s s L() or s L(B) } Examples: if then else = { if, then, else } 9 = {,,, 9 } (note the are just an abbreviation) nother example: L(( ) ( )) = {,,, } Prof. Hilfinger CS 64 Lecture 2 9 More Compound Regular Expressions So far we do not have a notation for infinite languages Iteration: * L( * ) = { } L() L() L() Examples: * = {,,,, } * = { strings starting with and followed by s } Epsilon: L() = { } Prof. Hilfinger CS 64 Lecture 2 2 Example: Keyword Keyword: else or if or begin or Example: Integers Integer: a nonempty string of digits else if begin ( else abbreviates e l s e ) digit = number = digit digit * bbreviation: + = * Prof. Hilfinger CS 64 Lecture 2 2 Prof. Hilfinger CS 64 Lecture 2 22 Example: Identifier Identifier: strings of letters or digits, starting with a letter Example: Whitespace Whitespace: a nonempty sequence of blanks, newlines, and tabs letter = Z a z identifier = letter (letter digit) * ( \t \n ) + (Can you spot a subtle omission?) Is (letter * digit * ) the same as (letter digit) *? Prof. Hilfinger CS 64 Lecture 2 23 Prof. Hilfinger CS 64 Lecture
5 Example: Phone Numbers Regular expressions are all around you! Consider (5) Σ = {,, 2, 3,, 9, (, ),  } area = digit 3 exchange = digit 3 phone = digit 4 number = ( area ) exchange  phone Example: ddresses Consider Σ = letters [ } name = letter + address = name (. name) * Prof. Hilfinger CS 64 Lecture 2 25 Prof. Hilfinger CS 64 Lecture 2 26 Summary Regular expressions describe many useful languages Next: Given a string s and a R.E. R, is s L( R )? But a yes/no answer is not enough! Instead: partition the input into lexemes We will adapt regular expressions to this goal Next: Outline Specifying lexical structure using regular expressions Finite automata Deterministic Finite utomata (DFs) Nondeterministic Finite utomata (NFs) Implementation of regular expressions RegExp => NF => DF => Tables Prof. Hilfinger CS 64 Lecture 2 27 Prof. Hilfinger CS 64 Lecture 2 28 Regular Expressions => Lexical Spec. (). Select a set of tokens Number, Keyword, Identifier,... Regular Expressions => Lexical Spec. (2) 3. Construct R, matching all lexemes for all tokens 2. Write a R.E. for the lexemes of each token Number = digit + Keyword = if else Identifier = letter (letter digit)* OpenPar = ( Prof. Hilfinger CS 64 Lecture 2 29 R = Keyword Identifier Number = R R 2 R 3 Facts: If s L(R) then s is a lexeme Furthermore s L(R i ) for some i This i determines the token that is reported Prof. Hilfinger CS 64 Lecture 2 3 5
6 Regular Expressions => Lexical Spec. (3) 4. Let the input be x x n (x... x n are characters in the language alphabet) For i n check x x i L(R)? 5. It must be that x x i L(R j ) for some i and j 6. Remove x x i from input and go to (4) Lexing Example R = Whitespace Integer Identifier + Parse f+3 +g f matches R, more precisely Identifier + matches R, more precisely + The tokenlexeme pairs are (Identifier, f ), ( +, + ), (Integer, 3 ) (Whitespace, ), ( +, + ), (Identifier, g ) We would like to drop the Whitespace tokens after matching Whitespace, continue matching Prof. Hilfinger CS 64 Lecture 2 3 Prof. Hilfinger CS 64 Lecture 2 32 mbiguities () There are ambiguities in the algorithm Example: R = Whitespace Integer Identifier + Parse foo+3 f matches R, more precisely Identifier But also fo matches R, and foo, but not foo+ How much input is used? What if x x i L(R) and also x x K L(R) Maximal munch rule: Pick the longest possible substring that matches R More mbiguities R = Whitespace new Integer Identifier Parse new foo new matches R, more precisely new but also Identifier, which one do we pick? In general, if x x i L(R j ) and x x i L(R k ) Rule: use rule listed first (j if j < k) We must list new before Identifier Prof. Hilfinger CS 64 Lecture 2 33 Prof. Hilfinger CS 64 Lecture 2 34 Error Handling R = Whitespace Integer Identifier + Parse =56 No prefix matches R: not =, nor =5, nor =56 Problem: Can t just get stuck Solution: dd a rule matching all bad strings; and put it last Lexer tools allow the writing of: R = R... R n Error Token Error matches if nothing else matches Summary Regular expressions provide a concise notation for string patterns Use in lexical analysis requires small extensions To resolve ambiguities To handle errors Good algorithms known (next) Require only single pass over the input Few operations per character (table lookup) Prof. Hilfinger CS 64 Lecture 2 35 Prof. Hilfinger CS 64 Lecture
7 Finite utomata Regular expressions = specification Finite automata = implementation finite automaton consists of n input alphabet Σ set of states S start state n set of accepting states F S set of transitions state input state Finite utomata Transition s a s 2 Is read In state s on input a go to state s 2 If end of input If in accepting state => accept, othewise => reject If no transition possible => reject Prof. Hilfinger CS 64 Lecture 2 37 Prof. Hilfinger CS 64 Lecture 2 38 Finite utomata State Graphs state The start state Simple Example finite automaton that accepts only n accepting state transition a finite automaton accepts a string if we can follow transitions labeled with the characters in the string from the start to some accepting state Prof. Hilfinger CS 64 Lecture 2 39 Prof. Hilfinger CS 64 Lecture 2 4 nother Simple Example finite automaton accepting any number of s followed by a single lphabet: {,} nd nother Example lphabet {,} What language does this recognize? Check that is accepted but is not Prof. Hilfinger CS 64 Lecture 2 4 Prof. Hilfinger CS 64 Lecture
8 nd nother Example lphabet still {, } Epsilon Moves nother kind of transition: moves B Machine can move from state to state B without reading input The operation of the automaton is not completely defined by the input On input the automaton could be in either state Prof. Hilfinger CS 64 Lecture 2 43 Prof. Hilfinger CS 64 Lecture 2 44 Deterministic and Nondeterministic utomata Deterministic Finite utomata (DF) One transition per input per state No moves Nondeterministic Finite utomata (NF) Can have multiple transitions for one input in a given state Can have moves Finite automata have finite memory Need only to encode the current state Execution of Finite utomata DF can take only one path through the state graph Completely determined by input NFs can choose Whether to make moves Which of multiple transitions for a single input to take Prof. Hilfinger CS 64 Lecture 2 45 Prof. Hilfinger CS 64 Lecture 2 46 cceptance of NFs n NF can get into multiple states NF vs. DF () NFs and DFs recognize the same set of languages (regular languages) Input: Rule: NF accepts if it can get in a final state DFs are easier to implement There are no choices to consider Prof. Hilfinger CS 64 Lecture 2 47 Prof. Hilfinger CS 64 Lecture
9 NF vs. DF (2) Regular Expressions to Finite utomata For a given language the NF can be simpler than the DF NF DF DF can be exponentially larger than NF Highlevel sketch Regular expressions Lexical Specification NF DF Tabledriven Implementation of DF Prof. Hilfinger CS 64 Lecture 2 49 Prof. Hilfinger CS 64 Lecture 2 5 Regular Expressions to NF () Regular Expressions to NF (2) For each kind of rexp, define an NF Notation: NF for rexp For B B For For input a a For B B Prof. Hilfinger CS 64 Lecture 2 5 Prof. Hilfinger CS 64 Lecture 2 52 Regular Expressions to NF (3) Example of RegExp > NF conversion For * Consider the regular expression ( )* The NF is B C D E F G H I J Prof. Hilfinger CS 64 Lecture 2 53 Prof. Hilfinger CS 64 Lecture
10 Next NF to DF. The Trick Regular expressions Lexical Specification NF DF Tabledriven Implementation of DF Simulate the NF Each state of resulting DF = a nonempty subset of states of the NF Start state = the set of NF states reachable through moves from NF start state dd a transition S a S to DF iff S is the set of NF states reachable from the states in S after seeing the input a considering moves as well Prof. Hilfinger CS 64 Lecture 2 55 Prof. Hilfinger CS 64 Lecture 2 56 NF > DF Example B C E G H D F I J FGBCDHI BCDHI EJGBCDHI Prof. Hilfinger CS 64 Lecture 2 57 NF to DF. Remark n NF may be in many states at any time How many different states? If there are N states, the NF must be in some subset of those N states How many nonempty subsets are there? 2 N  = finitely many, but exponentially many Prof. Hilfinger CS 64 Lecture 2 58 Implementation Table Implementation of a DF DF can be implemented by a 2D table T One dimension is states Other dimension is input symbols For every transition S i a S k define T[i,a] = k DF execution If in state S i and input a, read T[i,a] = k and skip to state S k Very efficient S T U S T U T T U U T U Prof. Hilfinger CS 64 Lecture 2 59 Prof. Hilfinger CS 64 Lecture 2 6
11 Implementation (Cont.) NF > DF conversion is at the heart of tools such as flex or jflex But, DFs can be huge In practice, flexlike tools trade off speed for space in the choice of NF and DF representations Perl s Regular Expressions Some kind of patternmatching feature now common in programming languages. Perl s is widely copied (cf. Java, Python). Not regular expressions, despite name. E.g., pattern / (\S+) is a $/ matches spade is a spade and deal is a deal, but not spade is a shovel But no regular expression recognizes this language! Capturing substrings with ( ) itself is an extension Prof. Hilfinger CS 64 Lecture 2 6 Prof. Hilfinger CS 64 Lecture 2 62 Implementing Perl Patterns (Sketch) Can use NFs, with some modification Implement an NF as one would a DF + use backtracking search to deal with states with nondeterministic choices. dd extra states (with transitions) for parentheses. ( state records place in input as side effect. ) state saves string started at matching ( $n matches input with stored value. Backtracking much slower than DF implementation. Prof. Hilfinger CS 64 Lecture 2 63
Lexical Analysis. Lecture 24
Lexical Analysis Lecture 24 Notes by G. Necula, with additions by P. Hilfinger Prof. Hilfinger CS 164 Lecture 2 1 Administrivia Moving to 60 Evans on Wednesday HW1 available Pyth manual available on line.
More informationLexical Analysis. Chapter 2
Lexical Analysis Chapter 2 1 Outline Informal sketch of lexical analysis Identifies tokens in input string Issues in lexical analysis Lookahead Ambiguities Specifying lexers Regular expressions Examples
More informationLexical Analysis. Lecture 34
Lexical Analysis Lecture 34 Notes by G. Necula, with additions by P. Hilfinger Prof. Hilfinger CS 164 Lecture 34 1 Administrivia I suggest you start looking at Python (see link on class home page). Please
More informationImplementation of Lexical Analysis
Outline Implementation of Lexical nalysis Specifying lexical structure using regular expressions Finite automata Deterministic Finite utomata (DFs) Nondeterministic Finite utomata (NFs) Implementation
More informationImplementation of Lexical Analysis
Written ssignments W assigned today Implementation of Lexical nalysis Lecture 4 Due in one week :59pm Electronic handin Prof. iken CS 43 Lecture 4 Prof. iken CS 43 Lecture 4 2 Tips on uilding Large Systems
More informationImplementation of Lexical Analysis
Written ssignments W assigned today Implementation of Lexical nalysis Lecture 4 Due in one week y 5pm Turn in In class In box outside 4 Gates Electronically Prof. iken CS 43 Lecture 4 Prof. iken CS 43
More informationIntroduction to Lexical Analysis
Introduction to Lexical Analysis Outline Informal sketch of lexical analysis Identifies tokens in input string Issues in lexical analysis Lookahead Ambiguities Specifying lexical analyzers (lexers) Regular
More informationImplementation of Lexical Analysis
Implementation of Lexical Analysis Outline Specifying lexical structure using regular expressions Finite automata Deterministic Finite Automata (DFAs) Nondeterministic Finite Automata (NFAs) Implementation
More informationImplementation of Lexical Analysis
Implementation of Lexical Analysis Outline Specifying lexical structure using regular expressions Finite automata Deterministic Finite Automata (DFAs) Nondeterministic Finite Automata (NFAs) Implementation
More informationImplementation of Lexical Analysis
Implementation of Lexical Analysis Lecture 4 (Modified by Professor Vijay Ganesh) Tips on Building Large Systems KISS (Keep It Simple, Stupid!) Don t optimize prematurely Design systems that can be tested
More informationLexical Analysis. Implementation: Finite Automata
Lexical Analysis Implementation: Finite Automata Outline Specifying lexical structure using regular expressions Finite automata Deterministic Finite Automata (DFAs) Nondeterministic Finite Automata (NFAs)
More informationLexical Analysis. Finite Automata
#1 Lexical Analysis Finite Automata Cool Demo? (Part 1 of 2) #2 Cunning Plan Informal Sketch of Lexical Analysis LA identifies tokens from input string lexer : (char list) (token list) Issues in Lexical
More informationLexical Analysis. Lecture 3. January 10, 2018
Lexical Analysis Lecture 3 January 10, 2018 Announcements PA1c due tonight at 11:50pm! Don t forget about PA1, the Cool implementation! Use Monday s lecture, the video guides and Cool examples if you re
More informationAdministrativia. Extra credit for bugs in project assignments. Building a Scanner. CS164, Fall Recall: The Structure of a Compiler
dministrativia Building a canner Extra credit for bugs in project assignments in starter kits and handouts Ts are final arbiters of what s a bug only the first student to report the bug gets credit C64,
More informationIntroduction to Lexical Analysis
Introduction to Lexical Analysis Outline Informal sketch of lexical analysis Identifies tokens in input string Issues in lexical analysis Lookahead Ambiguities Specifying lexers Regular expressions Examples
More informationImplementation of Lexical Analysis. Lecture 4
Implementation of Lexical Analysis Lecture 4 1 Tips on Building Large Systems KISS (Keep It Simple, Stupid!) Don t optimize prematurely Design systems that can be tested It is easier to modify a working
More informationSyntactic Analysis. CS345H: Programming Languages. Lecture 3: Lexical Analysis. Outline. Lexical Analysis. What is a Token? Tokens
Syntactic Analysis CS45H: Programming Languages Lecture : Lexical Analysis Thomas Dillig Main Question: How to give structure to strings Analogy: Understanding an English sentence First, we separate a
More informationCunning Plan. Informal Sketch of Lexical Analysis. Issues in Lexical Analysis. Specifying Lexers
Cunning Plan Informal Sketch of Lexical Analysis LA identifies tokens from input string lexer : (char list) (token list) Issues in Lexical Analysis Lookahead Ambiguity Specifying Lexers Regular Expressions
More informationLexical Analysis. Finite Automata
#1 Lexical Analysis Finite Automata Cool Demo? (Part 1 of 2) #2 Cunning Plan Informal Sketch of Lexical Analysis LA identifies tokens from input string lexer : (char list) (token list) Issues in Lexical
More informationCompiler course. Chapter 3 Lexical Analysis
Compiler course Chapter 3 Lexical Analysis 1 A. A. Pourhaji Kazem, Spring 2009 Outline Role of lexical analyzer Specification of tokens Recognition of tokens Lexical analyzer generator Finite automata
More informationLexical Analysis. Finite Automata. (Part 2 of 2)
# Lexical Analysis Finite Automata (Part 2 of 2) PA0, PA Although we have included the tricky file ends without a newline testcases in previous years, students made good cases against them (e.g., they
More informationChapter 3 Lexical Analysis
Chapter 3 Lexical Analysis Outline Role of lexical analyzer Specification of tokens Recognition of tokens Lexical analyzer generator Finite automata Design of lexical analyzer generator The role of lexical
More informationKinder, Gentler Nation
Lexical Analysis Finite Automata (Part 2 of 2) # Kinder, Gentler Nation In our post dropdeadline world things get easier. While we re here: reading quiz. #2 Summary Regular expressions provide a concise
More informationCSE450. Translation of Programming Languages. Lecture 20: Automata and Regular Expressions
CSE45 Translation of Programming Languages Lecture 2: Automata and Regular Expressions Finite Automata Regular Expression = Specification Finite Automata = Implementation A finite automaton consists of:
More informationFormal Languages and Compilers Lecture VI: Lexical Analysis
Formal Languages and Compilers Lecture VI: Lexical Analysis Free University of BozenBolzano Faculty of Computer Science POS Building, Room: 2.03 artale@inf.unibz.it http://www.inf.unibz.it/ artale/ Formal
More informationLexical Analysis. Dragon Book Chapter 3 Formal Languages Regular Expressions Finite Automata Theory Lexical Analysis using Automata
Lexical Analysis Dragon Book Chapter 3 Formal Languages Regular Expressions Finite Automata Theory Lexical Analysis using Automata Phase Ordering of FrontEnds Lexical analysis (lexer) Break input string
More informationCompiler phases. Nontokens
Compiler phases Compiler Construction Scanning Lexical Analysis source code scanner tokens regular expressions lexical analysis Lennart Andersson parser context free grammar Revision 2011 01 21 parse tree
More informationCompiler Construction LECTURE # 3
Compiler Construction LECTURE # 3 The Course Course Code: CS4141 Course Title: Compiler Construction Instructor: JAWAD AHMAD Email Address: jawadahmad@uoslahore.edu.pk Web Address: http://csandituoslahore.weebly.com/cc.html
More informationCSEP 501 Compilers. Languages, Automata, Regular Expressions & Scanners Hal Perkins Winter /8/ Hal Perkins & UW CSE B1
CSEP 501 Compilers Languages, Automata, Regular Expressions & Scanners Hal Perkins Winter 2008 1/8/2008 200208 Hal Perkins & UW CSE B1 Agenda Basic concepts of formal grammars (review) Regular expressions
More informationCSE450. Translation of Programming Languages. Automata, Simple Language Design Principles
CSE45 Translation of Programming Languages Automata, Simple Language Design Principles Finite Automata State Graphs A state: The start state: An accepting state: A transition: a A Simple Example A finite
More informationConcepts Introduced in Chapter 3. Lexical Analysis. Lexical Analysis Terms. Attributes for Tokens
Concepts Introduced in Chapter 3 Lexical Analysis Regular Expressions (REs) Nondeterministic Finite Automata (NFA) Converting an RE to an NFA Deterministic Finite Automatic (DFA) Lexical Analysis Why separate
More informationCSE 3302 Programming Languages Lecture 2: Syntax
CSE 3302 Programming Languages Lecture 2: Syntax (based on slides by Chengkai Li) Leonidas Fegaras University of Texas at Arlington CSE 3302 L2 Spring 2011 1 How do we define a PL? Specifying a PL: Syntax:
More informationCS Lecture 2. The Front End. Lecture 2 Lexical Analysis
CS 1622 Lecture 2 Lexical Analysis CS 1622 Lecture 2 1 Lecture 2 Review of last lecture and finish up overview The first compiler phase: lexical analysis Reading: Chapter 2 in text (by 1/18) CS 1622 Lecture
More informationLexical Analysis. Lexical analysis is the first phase of compilation: The file is converted from ASCII to tokens. It must be fast!
Lexical Analysis Lexical analysis is the first phase of compilation: The file is converted from ASCII to tokens. It must be fast! Compiler Passes Analysis of input program (frontend) character stream
More informationRegular Expressions. Agenda for Today. Grammar for a Tiny Language. Programming Language Specifications
Agenda for Today Regular Expressions CSE 413, Autumn 2005 Programming Languages Basic concepts of formal grammars Regular expressions Lexical specification of programming languages Using finite automata
More informationCompiler Construction D7011E
Compiler Construction D7011E Lecture 2: Lexical analysis Viktor Leijon Slides largely by Johan Nordlander with material generously provided by Mark P. Jones. 1 Basics of Lexical Analysis: 2 Some definitions:
More informationCSE 413 Programming Languages & Implementation. Hal Perkins Autumn 2012 Grammars, Scanners & Regular Expressions
CSE 413 Programming Languages & Implementation Hal Perkins Autumn 2012 Grammars, Scanners & Regular Expressions 1 Agenda Overview of language recognizers Basic concepts of formal grammars Scanner Theory
More informationStructure of Programming Languages Lecture 3
Structure of Programming Languages Lecture 3 CSCI 6636 4536 Spring 2017 CSCI 6636 4536 Lecture 3... 1/25 Spring 2017 1 / 25 Outline 1 Finite Languages Deterministic Finite State Machines Lexical Analysis
More informationLexical Analysis. COMP 524, Spring 2014 Bryan Ward
Lexical Analysis COMP 524, Spring 2014 Bryan Ward Based in part on slides and notes by J. Erickson, S. Krishnan, B. Brandenburg, S. Olivier, A. Block and others The Big Picture Character Stream Scanner
More informationCS412/413. Introduction to Compilers Tim Teitelbaum. Lecture 2: Lexical Analysis 23 Jan 08
CS412/413 Introduction to Compilers Tim Teitelbaum Lecture 2: Lexical Analysis 23 Jan 08 Outline Review compiler structure What is lexical analysis? Writing a lexer Specifying tokens: regular expressions
More informationECS 120 Lesson 7 Regular Expressions, Pt. 1
ECS 120 Lesson 7 Regular Expressions, Pt. 1 Oliver Kreylos Friday, April 13th, 2001 1 Outline Thus far, we have been discussing one way to specify a (regular) language: Giving a machine that reads a word
More informationUNIT 2 LEXICAL ANALYSIS
OVER VIEW OF LEXICAL ANALYSIS UNIT 2 LEXICAL ANALYSIS o To identify the tokens we need some method of describing the possible tokens that can appear in the input stream. For this purpose we introduce
More informationCSE 413 Programming Languages & Implementation. Hal Perkins Winter 2019 Grammars, Scanners & Regular Expressions
CSE 413 Programming Languages & Implementation Hal Perkins Winter 2019 Grammars, Scanners & Regular Expressions 1 Agenda Overview of language recognizers Basic concepts of formal grammars Scanner Theory
More informationCSc 453 Lexical Analysis (Scanning)
CSc 453 Lexical Analysis (Scanning) Saumya Debray The University of Arizona Tucson Overview source program lexical analyzer (scanner) tokens syntax analyzer (parser) symbol table manager Main task: to
More informationLanguages, Automata, Regular Expressions & Scanners. Winter /8/ Hal Perkins & UW CSE B1
CSE 401 Compilers Languages, Automata, Regular Expressions & Scanners Hal Perkins Winter 2010 1/8/2010 200210 Hal Perkins & UW CSE B1 Agenda Quick review of basic concepts of formal grammars Regular
More informationIntroduction to Parsing. Lecture 8
Introduction to Parsing Lecture 8 Adapted from slides by G. Necula Outline Limitations of regular languages Parser overview Contextfree grammars (CFG s) Derivations Languages and Automata Formal languages
More informationDavid Griol Barres Computer Science Department Carlos III University of Madrid Leganés (Spain)
David Griol Barres dgriol@inf.uc3m.es Computer Science Department Carlos III University of Madrid Leganés (Spain) OUTLINE Introduction: Definitions The role of the Lexical Analyzer Scanner Implementation
More informationComputer Science Department Carlos III University of Madrid Leganés (Spain) David Griol Barres
Computer Science Department Carlos III University of Madrid Leganés (Spain) David Griol Barres dgriol@inf.uc3m.es Introduction: Definitions Lexical analysis or scanning: To read from lefttoright a source
More informationCOMP421 Compiler Design. Presented by Dr Ioanna Dionysiou
COMP421 Compiler Design Presented by Dr Ioanna Dionysiou Administrative! [ALSU03] Chapter 3  Lexical Analysis Sections 3.13.4, 3.63.7! Reading for next time [ALSU03] Chapter 3 Copyright (c) 2010 Ioanna
More informationCS164: Programming Assignment 2 Dlex Lexer Generator and Decaf Lexer
CS164: Programming Assignment 2 Dlex Lexer Generator and Decaf Lexer Assigned: Thursday, September 16, 2004 Due: Tuesday, September 28, 2004, at 11:59pm September 16, 2004 1 Introduction Overview In this
More informationA simple syntaxdirected
Syntaxdirected is a grammaroriented compiling technique Programming languages: Syntax: what its programs look like? Semantic: what its programs mean? 1 A simple syntaxdirected Lexical Syntax Character
More informationLexical Analysis. Introduction
Lexical Analysis Introduction Copyright 2015, Pedro C. Diniz, all rights reserved. Students enrolled in the Compilers class at the University of Southern California have explicit permission to make copies
More informationCS308 Compiler Principles Lexical Analyzer Li Jiang
CS308 Lexical Analyzer Li Jiang Department of Computer Science and Engineering Shanghai Jiao Tong University Content: Outline Basic concepts: pattern, lexeme, and token. Operations on languages, and regular
More informationCSC 467 Lecture 3: Regular Expressions
CSC 467 Lecture 3: Regular Expressions Recall How we build a lexer by hand o Use fgetc/mmap to read input o Use a big switch to match patterns Homework exercise static TokenKind identifier( TokenKind token
More informationCS415 Compilers. Lexical Analysis
CS415 Compilers Lexical Analysis These slides are based on slides copyrighted by Keith Cooper, Ken Kennedy & Linda Torczon at Rice University Lecture 7 1 Announcements First project and second homework
More informationCMSC 350: COMPILER DESIGN
Lecture 11 CMSC 350: COMPILER DESIGN see HW3 LLVMLITE SPECIFICATION Eisenberg CMSC 350: Compilers 2 Discussion: Defining a Language Premise: programming languages are purely formal objects We (as language
More informationCS 314 Principles of Programming Languages. Lecture 3
CS 314 Principles of Programming Languages Lecture 3 Zheng Zhang Department of Computer Science Rutgers University Wednesday 14 th September, 2016 Zheng Zhang 1 CS@Rutgers University Class Information
More informationBottomUp Parsing. Lecture 1112
BottomUp Parsing Lecture 1112 (From slides by G. Necula & R. Bodik) 9/22/06 Prof. Hilfinger CS164 Lecture 11 1 BottomUp Parsing Bottomup parsing is more general than topdown parsing And just as efficient
More informationThe Front End. The purpose of the front end is to deal with the input language. Perform a membership test: code source language?
The Front End Source code Front End IR Back End Machine code Errors The purpose of the front end is to deal with the input language Perform a membership test: code source language? Is the program wellformed
More informationFormal Languages and Compilers Lecture IV: Regular Languages and Finite. Finite Automata
Formal Languages and Compilers Lecture IV: Regular Languages and Finite Automata Free University of BozenBolzano Faculty of Computer Science POS Building, Room: 2.03 artale@inf.unibz.it http://www.inf.unibz.it/
More informationOutline. Limitations of regular languages. Introduction to Parsing. Parser overview. Contextfree grammars (CFG s)
Outline Limitations of regular languages Introduction to Parsing Parser overview Lecture 8 Adapted from slides by G. Necula Contextfree grammars (CFG s) Derivations Languages and Automata Formal languages
More informationOutline CS4120/4121. Compilation in a Nutshell 1. Administration. Introduction to Compilers Andrew Myers. HW1 out later today due next Monday.
CS4120/4121 Introduction to Compilers Andrew Myers Lecture 2: Lexical Analysis 31 August 2009 Outline Administration Compilation in a nutshell (or two) What is lexical analysis? Writing a lexer Specifying
More informationAnnouncements! P1 part 1 due next Tuesday P1 part 2 due next Friday
Announcements! P1 part 1 due next Tuesday P1 part 2 due next Friday 1 Finitestate machines CS 536 Last time! A compiler is a recognizer of language S (Source) a translator from S to T (Target) a program
More informationCompiler Construction
Compiler Construction Thomas Noll Software Modeling and Verification Group RWTH Aachen University https://moves.rwthaachen.de/teaching/ss16/cc/ Conceptual Structure of a Compiler Source code x1 := y2
More informationChapter 4. Lexical and Syntax Analysis. Topics. Compilation. Language Implementation. Issues in Lexical and Syntax Analysis.
Topics Chapter 4 Lexical and Syntax Analysis Introduction Lexical Analysis Syntax Analysis Recursive Descent Parsing BottomUp parsing 2 Language Implementation Compilation There are three possible approaches
More informationCS 314 Principles of Programming Languages
CS 314 Principles of Programming Languages Lecture 2: Syntax Analysis Zheng (Eddy) Zhang Rutgers University January 22, 2018 Announcement First recitation starts this Wednesday Homework 1 will be release
More informationCSCE 314 Programming Languages
CSCE 314 Programming Languages Syntactic Analysis Dr. Hyunyoung Lee 1 What Is a Programming Language? Language = syntax + semantics The syntax of a language is concerned with the form of a program: how
More information2. Lexical Analysis! Prof. O. Nierstrasz!
2. Lexical Analysis! Prof. O. Nierstrasz! Thanks to Jens Palsberg and Tony Hosking for their kind permission to reuse and adapt the CS132 and CS502 lecture notes.! http://www.cs.ucla.edu/~palsberg/! http://www.cs.purdue.edu/homes/hosking/!
More informationCS321 Languages and Compiler Design I. Winter 2012 Lecture 4
CS321 Languages and Compiler Design I Winter 2012 Lecture 4 1 LEXICAL ANALYSIS Convert source file characters into token stream. Remove contentfree characters (comments, whitespace,...) Detect lexical
More informationPart 5 Program Analysis Principles and Techniques
1 Part 5 Program Analysis Principles and Techniques Front end 2 source code scanner tokens parser il errors Responsibilities: Recognize legal programs Report errors Produce il Preliminary storage map Shape
More information1. Lexical Analysis Phase
1. Lexical Analysis Phase The purpose of the lexical analyzer is to read the source program, one character at time, and to translate it into a sequence of primitive units called tokens. Keywords, identifiers,
More informationOutline. Limitations of regular languages Parser overview Contextfree grammars (CFG s) Derivations SyntaxDirected Translation
Outline Introduction to Parsing Lecture 8 Adapted from slides by G. Necula and R. Bodik Limitations of regular languages Parser overview Contextfree grammars (CG s) Derivations SyntaxDirected ranslation
More informationCSE 401/M501 Compilers
CSE 401/M501 Compilers Languages, Automata, Regular Expressions & Scanners Hal Perkins Spring 2018 UW CSE 401/M501 Spring 2018 B1 Administrivia No sections this week Read: textbook ch. 1 and sec. 2.12.4
More informationConcepts. Lexical scanning Regular expressions DFAs and FSAs Lex. Lexical analysis in perspective
Concepts Lexical scanning Regular expressions DFAs and FSAs Lex CMSC 331, Some material 1998 by Addison Wesley Longman, Inc. 1 CMSC 331, Some material 1998 by Addison Wesley Longman, Inc. 2 Lexical analysis
More informationChapter 4. Lexical analysis. Concepts. Lexical scanning Regular expressions DFAs and FSAs Lex. Lexical analysis in perspective
Chapter 4 Lexical analysis Lexical scanning Regular expressions DFAs and FSAs Lex Concepts CMSC 331, Some material 1998 by Addison Wesley Longman, Inc. 1 CMSC 331, Some material 1998 by Addison Wesley
More informationWeek 2: Syntax Specification, Grammars
CS320 Principles of Programming Languages Week 2: Syntax Specification, Grammars Jingke Li Portland State University Fall 2017 PSU CS320 Fall 17 Week 2: Syntax Specification, Grammars 1/ 62 Words and Sentences
More informationLexical Analysis. Chapter 1, Section Chapter 3, Section 3.1, 3.3, 3.4, 3.5 JFlex Manual
Lexical Analysis Chapter 1, Section 1.2.1 Chapter 3, Section 3.1, 3.3, 3.4, 3.5 JFlex Manual Inside the Compiler: Front End Lexical analyzer (aka scanner) Converts ASCII or Unicode to a stream of tokens
More informationInterpreter. Scanner. Parser. Tree Walker. read. request token. send token. send AST I/O. Console
Scanning 1 read Interpreter Scanner request token Parser send token Console I/O send AST Tree Walker 2 Scanner This process is known as: Scanning, lexing (lexical analysis), and tokenizing This is the
More informationLecture 9 CIS 341: COMPILERS
Lecture 9 CIS 341: COMPILERS Announcements HW3: LLVM lite Available on the course web pages. Due: Monday, Feb. 26th at 11:59:59pm Only one group member needs to submit Three submissions per group START
More informationThe Language for Specifying Lexical Analyzer
The Language for Specifying Lexical Analyzer We shall now study how to build a lexical analyzer from a specification of tokens in the form of a list of regular expressions The discussion centers around
More informationLexing, Parsing. Laure Gonnord sept Master 1, ENS de Lyon
Lexing, Parsing Laure Gonnord http://laure.gonnord.org/pro/teaching/capm1.html Laure.Gonnord@enslyon.fr Master 1, ENS de Lyon sept 2017 Analysis Phase source code lexical analysis sequence of lexems (tokens)
More informationfor (i=1; i<=100000; i++) { x = sqrt (y); // square root function cout << x+i << endl; }
Ex: The difference between Compiler and Interpreter The interpreter actually carries out the computations specified in the source program. In other words, the output of a compiler is a program, whereas
More informationLexical Analyzer Scanner
Lexical Analyzer Scanner ASU Textbook Chapter 3.1, 3.3, 3.4, 3.6, 3.7, 3.5 Tsansheng Hsu tshsu@iis.sinica.edu.tw http://www.iis.sinica.edu.tw/~tshsu 1 Main tasks Read the input characters and produce
More informationLexical Analysis (ASU Ch 3, Fig 3.1)
Lexical Analysis (ASU Ch 3, Fig 3.1) Implementation by hand automatically ((F)Lex) Lex generates a finite automaton recogniser uses regular expressions Tasks remove white space (ws) display source program
More informationPRINCIPLES OF COMPILER DESIGN UNIT II LEXICAL ANALYSIS 2.1 Lexical Analysis  The Role of the Lexical Analyzer
PRINCIPLES OF COMPILER DESIGN UNIT II LEXICAL ANALYSIS 2.1 Lexical Analysis  The Role of the Lexical Analyzer As the first phase of a compiler, the main task of the lexical analyzer is to read the input
More informationLexical Analyzer Scanner
Lexical Analyzer Scanner ASU Textbook Chapter 3.1, 3.3, 3.4, 3.6, 3.7, 3.5 Tsansheng Hsu tshsu@iis.sinica.edu.tw http://www.iis.sinica.edu.tw/~tshsu 1 Main tasks Read the input characters and produce
More informationG52LAC Languages and Computation Lecture 6
G52LAC Languages and Computation Lecture 6 Equivalence of Regular Expression and Finite Automata Henrik Nilsson University of Nottingham G52LACLanguages and ComputationLecture 6 p.1/28 This Lecture (1)
More informationLexical analysis. Syntactical analysis. Semantical analysis. Intermediate code generation. Optimization. Code generation. Target specific optimization
Second round: the scanner Lexical analysis Syntactical analysis Semantical analysis Intermediate code generation Optimization Code generation Target specific optimization Lexical analysis (Chapter 3) Why
More informationOutline. 1 Scanning Tokens. 2 Regular Expresssions. 3 Finite State Automata
Outline 1 2 Regular Expresssions Lexical Analysis 3 Finite State Automata 4 Nondeterministic (NFA) Versus Deterministic Finite State Automata (DFA) 5 Regular Expresssions to NFA 6 NFA to DFA 7 8 JavaCC:
More informationCompiler Design. 2. Regular Expressions & Finite State Automata (FSA) Kanat Bolazar January 21, 2010
Compiler Design. Regular Expressions & Finite State Automata (FSA) Kanat Bolazar January 1, 010 Contents In these slides we will see 1.Introduction, Concepts and Notations.Regular Expressions, Regular
More informationRegular Languages. MACM 300 Formal Languages and Automata. Formal Languages: Recap. Regular Languages
Regular Languages MACM 3 Formal Languages and Automata Anoop Sarkar http://www.cs.sfu.ca/~anoop The set of regular languages: each element is a regular language Each regular language is an example of a
More informationCSCI312 Principles of Programming Languages!
CSCI312 Principles of Programming Languages!! Chapter 3 Regular Expression and Lexer Xu Liu Recap! Copyright 2006 The McGrawHill Companies, Inc. Clite: Lexical Syntax! Input: a stream of characters from
More informationMIT Specifying Languages with Regular Expressions and ContextFree Grammars. Martin Rinard Massachusetts Institute of Technology
MIT 6.035 Specifying Languages with Regular essions and ContextFree Grammars Martin Rinard Massachusetts Institute of Technology Language Definition Problem How to precisely define language Layered structure
More informationWriting a Lexical Analyzer in Haskell (part II)
Writing a Lexical Analyzer in Haskell (part II) Today Regular languages and lexicographical analysis part II Some of the slides today are from Dr. Saumya Debray and Dr. Christian Colberg This week PA1:
More informationProgramming Languages (CS 550) Lecture 4 Summary Scanner and Parser Generators. Jeremy R. Johnson
Programming Languages (CS 550) Lecture 4 Summary Scanner and Parser Generators Jeremy R. Johnson 1 Theme We have now seen how to describe syntax using regular expressions and grammars and how to create
More informationMIT Specifying Languages with Regular Expressions and ContextFree Grammars
MIT 6.035 Specifying Languages with Regular essions and ContextFree Grammars Martin Rinard Laboratory for Computer Science Massachusetts Institute of Technology Language Definition Problem How to precisely
More informationLexical Analysis 1 / 52
Lexical Analysis 1 / 52 Outline 1 Scanning Tokens 2 Regular Expresssions 3 Finite State Automata 4 Nondeterministic (NFA) Versus Deterministic Finite State Automata (DFA) 5 Regular Expresssions to NFA
More informationCSE 401 Midterm Exam Sample Solution 2/11/15
Question 1. (10 points) Regular expression warmup. For regular expression questions, you must restrict yourself to the basic regular expression operations covered in class and on homework assignments:
More informationDefining Program Syntax. Chapter Two Modern Programming Languages, 2nd ed. 1
Defining Program Syntax Chapter Two Modern Programming Languages, 2nd ed. 1 Syntax And Semantics Programming language syntax: how programs look, their form and structure Syntax is defined using a kind
More informationCompiler Construction
Compiler Construction Lecture 2: Lexical Analysis I (Introduction) Thomas Noll Lehrstuhl für Informatik 2 (Software Modeling and Verification) noll@cs.rwthaachen.de http://moves.rwthaachen.de/teaching/ss14/cc14/
More information