Syntax Analysis Part VIII
|
|
- Morris Heath
- 6 years ago
- Views:
Transcription
1 Syntax Analysis Part VIII Exercises: Bison Text adapted from : Marinella Sciortino, Università di Palermo
2 Exercise I Write an interpreter for hand calculator with the following operators +, - (binary) *, / (binary, with precedence over +, -) (unary, absolute value) Use balanced parentheses to force precedence
3 Exercise I: Bison %{ #include <stdio.h> % %token NUMBER OP CP %token ADD SUB MUL DIV ABS %token EOL
4 Exercise I: Bison %% calclist: /* empty */ calclist exp EOL { printf("= %d\n", $2) Default action: copy $1 exp: factor exp ADD factor { $$ = $1 + $3 exp SUB factor { $$ = $1 - $3 factor: term factor MUL term { $$ = $1 * $3 factor DIV term { $$ = $1 / $3
5 Exercise I: Bison term: NUMBER ABS term { $$ = $2 >= 0? $2 : - $2 OP exp CP { $$ = $2 %% main(int argc, char **argv) { yyparse() yyerror(char *s) { fprintf(stderr, "error: %s\n", s)
6 Exercise I: Flex %option noyywrap %{ #include "calculator.tab.h" % %% "(" { return OP ")" { return CP "+" { return ADD "-" { return SUB "*" { return MUL "/" { return DIV " " { return ABS [0-9]+ { yylval = atoi(yytext) return NUMBER \n { return EOL [ \t] { /* ignore whitespace */. { printf("mystery character %c\n", *yytext) %%
7 Exercise II Write an interpreter that checks expressions of well-nested parentheses computes the number of parentheses in the expression
8 Exercise II: Bison %{ % #include <ctype.h> #include<stdio.h> %% lines : lines expr '\n' { printf("%d\n", $2) lines '\n' { printf("0\n") expr : '(' expr ')' { $$ = $2 + 2 '(' expr ')' expr { $$ = $2 + $4 + 2 '(' ')' { $$ = 2 '(' ')' expr { $$ = $3 + 2
9 Exercise II: Bison %% int yylex() { int c = getchar() return c int main() { if (yyparse()!= 0 ) fprintf(stderr, "Abnormal exit\n") return 0 int yyerror(char *s) { fprintf(stderr, "Error: %s\n", s)
10 Exercise III Write a parser accepting the language L = { a n b n c n n 1 L is not context-free: need to use semantic actions
11 Exercise III: Bison %{ % #include <stdio.h> int counta = 0, countb = 0, countc = 0 int yylex() void yyerror(char *s) void checkcounters()
12 Exercise III: Bison %% lines : lines S '\n' lines '\n' /* empty */ S : As Bs Cs {checkcounters() As : As 'a' {counta++ 'a' {counta++ Bs : Bs 'b' {countb++ 'b' {countb++ Cs : Cs 'c' {countc++ 'c' {countc++
13 Exercise III: Bison %% void checkcounters(){ if ((counta == countb) && (counta == countc)) printf("%s\n", "accept") else printf("%s\n", "reject" ) counta = 0 countb = 0 countc = 0 int yylex() { int c = getchar() return c
14 Exercise III: Bison int main() { if (yyparse()!= 0 ) fprintf(stderr, "Exit\n") return 0 void yyerror(char *s) { fprintf(stderr, "Error: %s\n", s)
15 Exercise IV Write a parser accepting the language MIX(3) = { w w {a, b, c *, # a (w) = # b (w) = # c (w) L is not context-free: need to use semantic actions
16 Exercise IV: Bison %{ #include <stdio.h> #include <ctype.h> int yylex() void yyerror(char const *) int counta, countb, countc, valid = 0 %
17 Exercise IV: Bison %% lines : lines S '\n { valid = (counta == countb && countb == countc)? 1 : 0 printf("the string %s to the language.\n\n, (valid == 1? "belongs" : "does not belong")) counta = countb = countc = 0 lines error '\n' { yyerrok /* empty */ S : 'a' S { counta++ 'b' S { countb++ 'c' S { countc++ /* empty */ {
18 Exercise IV: Bison %% int main() { if (yyparse()!= 0) { fprintf(stderr, "%s\n\n", "Abnormal exit.") return 0 int yylex() { return getchar() void yyerror(char const *s) { counta = countb = countc = 0 fprintf(stderr, "Error: %s.\n\n", s)
19 Exercise V Write an interpreter for micro-language with instructions : int id id = num id = id id = id + id print(id)
20 Exercise V identifiers use only alphabetic symbols each identifier must be uniquely defined and initialized to 0 numbers are unsigned integers print(id) prints the string "id : num"
21 Exercise V Example : int n int k n = 132 k = n k = k + n print(k) k : 264
22 Exercise V: Flex %option noyywrap %{ % #include <stdio.h> #include "parser.tab.h" WS [ \t\n] LETTER [A-Za-z] DIGIT [0-9] NZDIGIT [1-9] EQUAL "="
23 Exercise V: Flex %% print { return PRINT int { return INT {LETTER+ { yylval.identifier = strdup(yytext) return ID {NZDIGIT{DIGIT* { yylval.number = atoi( yytext ) return NUM {WS+ /* eat up whitespaces */ <<EOF>> { return ENDFILE. { return yytext[0]
24 Exercise V: Bison %{ #include <ctype.h> #include <stdio.h> #include "uthash.h" int yylex() void yyerror(char *s) /* base structure of a variable in the symbol table */ typedef struct variable { const char *id // hash key int value UT_hash_handle hh // makes structure hashable variable /* symbol table initialization */ variable *mysymboltable = NULL
25 Exercise V: Bison /* * add variable to symbol table */ void addvar(char *id){ variable *tmp HASH_FIND_STR(mySymbolTable, id, tmp) if (tmp == NULL){ tmp = (variable*) malloc(sizeof(variable)) tmp->id = id tmp->value = 0 HASH_ADD_KEYPTR(hh, mysymboltable, tmp->id, strlen(tmp->id), tmp) else { printf("error: multiple definition for variable %s\n", id) exit(-1)
26 Exercise V: Bison /* * update variable "id" in the symbol table */ void setvar(char *id, int value){ variable *tmp HASH_FIND_STR(mySymbolTable, id, tmp) if(tmp == NULL){ printf("error: variable %s is not defined\n", id) exit(-1) tmp->value = value
27 Exercise V: Bison % /* * read variable "id" in the symbol table */ int getvar(char *id){ variable *tmp HASH_FIND_STR(mySymbolTable, id, tmp) if(tmp == NULL){ printf("error: variable %s is not defined\n", id) exit(-1) return tmp->value
28 Exercise V: Bison %union { int number char* identifier %token %token %token %type <number> NUM <identifier> ID PRINT INT ENDFILE <number> expr
29 Exercise V: Bison %% program : program stmt ' stmt '' program ENDFILE { return 0 stmt : INT ID { addvar($2) ID '=' expr { setvar($1, $3) PRINT '(' ID ')' { printf("%s : %d\n", $3, getvar($3)) expr : ID '+' ID { getvar($1) + getvar($3) ID { $$ = getvar($1) NUM { $$ = $1
30 Exercise V: Bison %% int main() { if (yyparse()!= 0) fprintf(stderr, "Abnormal exit\n") return 0 void yyerror(char *s) { fprintf(stderr, "Error: %s\n", s)
Syntax Analysis Part IV
Syntax Analysis Part IV Chapter 4: Bison Slides adapted from : Robert van Engelen, Florida State University Yacc and Bison Yacc (Yet Another Compiler Compiler) Generates LALR(1) parsers Bison Improved
More informationLexical and Syntax Analysis
Lexical and Syntax Analysis (of Programming Languages) Bison, a Parser Generator Lexical and Syntax Analysis (of Programming Languages) Bison, a Parser Generator Bison: a parser generator Bison Specification
More informationPRACTICAL CLASS: Flex & Bison
Master s Degree Course in Computer Engineering Formal Languages FORMAL LANGUAGES AND COMPILERS PRACTICAL CLASS: Flex & Bison Eliana Bove eliana.bove@poliba.it Install On Linux: install with the package
More informationLex & Yacc (GNU distribution - flex & bison) Jeonghwan Park
Lex & Yacc (GNU distribution - flex & bison) Jeonghwan Park Prerequisite Ubuntu Version 14.04 or over Virtual machine for Windows user or native OS flex bison gcc Version 4.7 or over Install in Ubuntu
More informationIntroduction to Lex & Yacc. (flex & bison)
Introduction to Lex & Yacc (flex & bison) Lex & Yacc (flex & bison) lexical rules (regular expression) lexical rules (context-free grammar) lex (flex) yacc (bison) Input yylex() yyparse() Processed output
More informationLECTURE 11. Semantic Analysis and Yacc
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 specifying valid structures with a context-free
More informationIntroduction to Yacc. General Description Input file Output files Parsing conflicts Pseudovariables Examples. Principles of Compilers - 16/03/2006
Introduction to Yacc General Description Input file Output files Parsing conflicts Pseudovariables Examples General Description A parser generator is a program that takes as input a specification of a
More informationflex is not a bad tool to use for doing modest text transformations and for programs that collect statistics on input.
flex is not a bad tool to use for doing modest text transformations and for programs that collect statistics on input. More often than not, though, you ll want to use flex to generate a scanner that divides
More informationCompiler Design 1. Yacc/Bison. Goutam Biswas. Lect 8
Compiler Design 1 Yacc/Bison Compiler Design 2 Bison Yacc (yet another compiler-compiler) is a LALR a parser generator created by S. C Johnson. Bison is an yacc like GNU parser generator b. It takes the
More informationMarcello Bersani Ed. 22, via Golgi 42, 3 piano 3769
Marcello Bersani bersani@elet.polimi.it http://home.dei.polimi.it/bersani/ Ed. 22, via Golgi 42, 3 piano 3769 Flex, Bison and the ACSE compiler suite Marcello M. Bersani LFC Politecnico di Milano Schedule
More informationChapter 3: Describing Syntax and Semantics. Introduction Formal methods of describing syntax (BNF)
Chapter 3: Describing Syntax and Semantics Introduction Formal methods of describing syntax (BNF) We can analyze syntax of a computer program on two levels: 1. Lexical level 2. Syntactic level Lexical
More informationYacc. Generator of LALR(1) parsers. YACC = Yet Another Compiler Compiler symptom of two facts: Compiler. Compiler. Parser
Yacc Generator of LALR(1) parsers YACC = Yet Another Compiler Compiler symptom of two facts: 1. Popularity of parser generators in the 70s 2. Historically: compiler phases mixed within syntax analysis
More informationGechstudentszone.wordpress.com
Unit 7 LEX AND YACC-1 Lex is a program generator designed for lexical processing of character input streams. It accepts a high-level, problem oriented specification for character string matching, and produces
More informationAn Introduction to LEX and YACC. SYSC Programming Languages
An Introduction to LEX and YACC SYSC-3101 1 Programming Languages CONTENTS CONTENTS Contents 1 General Structure 3 2 Lex - A lexical analyzer 4 3 Yacc - Yet another compiler compiler 10 4 Main Program
More informationPrinciples of Programming Languages
Principles of Programming Languages h"p://www.di.unipi.it/~andrea/dida2ca/plp- 15/ Prof. Andrea Corradini Department of Computer Science, Pisa Lesson 10! LR parsing with ambiguous grammars Error recovery
More informationTDDD55 - Compilers and Interpreters Lesson 3
TDDD55 - Compilers and Interpreters Lesson 3 November 22 2011 Kristian Stavåker (kristian.stavaker@liu.se) Department of Computer and Information Science Linköping University LESSON SCHEDULE November 1,
More informationCOMPILERS AND INTERPRETERS Lesson 4 TDDD16
COMPILERS AND INTERPRETERS Lesson 4 TDDD16 Kristian Stavåker (kristian.stavaker@liu.se) Department of Computer and Information Science Linköping University TODAY Introduction to the Bison parser generator
More informationCSE302: Compiler Design
CSE302: Compiler Design Instructor: Dr. Liang Cheng Department of Computer Science and Engineering P.C. Rossin College of Engineering & Applied Science Lehigh University March 27, 2007 Outline Recap General/Canonical
More informationTDDD55- Compilers and Interpreters Lesson 2
TDDD55- Compilers and Interpreters Lesson 2 November 11 2011 Kristian Stavåker (kristian.stavaker@liu.se) Department of Computer and Information Science Linköping University PURPOSE OF LESSONS The purpose
More informationAs we have seen, token attribute values are supplied via yylval, as in. More on Yacc s value stack
More on Yacc s value stack As we noted last time, Yacc uses a second stack to store the attribute values of the tokens and terminals in the parse stack. For a token, the attributes are computed by the
More informationCompiler Lab. Introduction to tools Lex and Yacc
Compiler Lab Introduction to tools Lex and Yacc Assignment1 Implement a simple calculator with tokens recognized using Lex/Flex and parsing and semantic actions done using Yacc/Bison. Calculator Input:
More informationLex & Yacc. By H. Altay Güvenir. A compiler or an interpreter performs its task in 3 stages:
Lex & Yacc By H. Altay Güvenir A compiler or an interpreter performs its task in 3 stages: 1) Lexical Analysis: Lexical analyzer: scans the input stream and converts sequences of characters into tokens.
More informationLab 2. Lexing and Parsing with Flex and Bison - 2 labs
Lab 2 Lexing and Parsing with Flex and Bison - 2 labs Objective Understand the software architecture of flex/bison. Be able to write simple grammars in bison. Be able to correct grammar issues in bison.
More informationUNIT - 7 LEX AND YACC - 1
COURSE MATERIAL UNIT 7: LEX AND YACC Subject: System software Subject code : Faculty: Chetankumar Naik Department of Computer Science and Engineering, JIT Davangere UNIT - 7 LEX AND YACC - 1 7.1.INTRODUCTION:
More informationLex & Yacc. by H. Altay Güvenir. A compiler or an interpreter performs its task in 3 stages:
Lex & Yacc by H. Altay Güvenir A compiler or an interpreter performs its task in 3 stages: 1) Lexical Analysis: Lexical analyzer: scans the input stream and converts sequences of characters into tokens.
More informationBig Picture: Compilation Process. CSCI: 4500/6500 Programming Languages. Big Picture: Compilation Process. Big Picture: Compilation Process.
Big Picture: Compilation Process Source program CSCI: 4500/6500 Programming Languages Lex & Yacc Scanner Lexical Lexical units, token stream Parser Syntax Intermediate Parse tree Code Generator Semantic
More informationTable of Contents. Chapter 1. Introducing Flex and Bison
Table of Contents Introducing Flex and Bison... 1 Lexical Analysis and Parsing... 1 Regular Expressions and Scanning... 2 Grammars and Parsing... 9 Ambiguous Grammars: Not Quite... 14 Adding a Few More
More informationGechstudentszone.wordpress.com
UNIT - 8 LEX AND YACC 2 8.1 USING YACC Yacc provides a general tool for describing the input to a computer program. The Yacc user specifies the structures of his input, together with code to be invoked
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 informationCSCI Compiler Design
Syntactic Analysis Automatic Parser Generators: The UNIX YACC Tool Portions of this lecture were adapted from Prof. Pedro Reis Santos s notes for the 2006 Compilers class lectured at IST/UTL in Lisbon,
More informationCOMPILER CONSTRUCTION LAB 2 THE SYMBOL TABLE. Tutorial 2 LABS. PHASES OF A COMPILER Source Program. Lab 2 Symbol table
COMPILER CONSTRUCTION Lab 2 Symbol table LABS Lab 3 LR parsing and abstract syntax tree construction using ''bison' Lab 4 Semantic analysis (type checking) PHASES OF A COMPILER Source Program Lab 2 Symtab
More informationCompiler construction in4020 lecture 5
Compiler construction in4020 lecture 5 Semantic analysis Assignment #1 Chapter 6.1 Overview semantic analysis identification symbol tables type checking CS assignment yacc LLgen language grammar parser
More informationCompiler Construction
Compiler Construction Thomas Noll Software Modeling and Verification Group RWTH Aachen University https://moves.rwth-aachen.de/teaching/ss-17/cc/ Recap: First-Longest-Match Analysis The Extended Matching
More informationChapter 2 - Introduction to C Programming
Chapter 2 - Introduction to C Programming 2 Outline 2.1 Introduction 2.2 A Simple C Program: Printing a Line of Text 2.3 Another Simple C Program: Adding Two Integers 2.4 Memory Concepts 2.5 Arithmetic
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 informationLexical Analysis. Implementing Scanners & LEX: A Lexical Analyzer Tool
Lexical Analysis Implementing Scanners & LEX: A Lexical Analyzer Tool Copyright 2016, Pedro C. Diniz, all rights reserved. Students enrolled in the Compilers class at the University of Southern California
More informationCompiler Construction
Compiler Construction Thomas Noll Software Modeling and Verification Group RWTH Aachen University https://moves.rwth-aachen.de/teaching/ss-16/cc/ Recap: First-Longest-Match Analysis Outline of Lecture
More informationTDDD55- Compilers and Interpreters Lesson 3
TDDD55- Compilers and Interpreters Lesson 3 Zeinab Ganjei (zeinab.ganjei@liu.se) Department of Computer and Information Science Linköping University 1. Grammars and Top-Down Parsing Some grammar rules
More informationUsing an LALR(1) Parser Generator
Using an LALR(1) Parser Generator Yacc is an LALR(1) parser generator Developed by S.C. Johnson and others at AT&T Bell Labs Yacc is an acronym for Yet another compiler compiler Yacc generates an integrated
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 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 informationC: How to Program. Week /Mar/05
1 C: How to Program Week 2 2007/Mar/05 Chapter 2 - Introduction to C Programming 2 Outline 2.1 Introduction 2.2 A Simple C Program: Printing a Line of Text 2.3 Another Simple C Program: Adding Two Integers
More informationProf. Mohamed Hamada Software Engineering Lab. The University of Aizu Japan
Language Processing Systems Prof. Mohamed Hamada Software Engineering Lab. The University of Aizu Japan Syntax Analysis (Parsing) 1. Uses Regular Expressions to define tokens 2. Uses Finite Automata to
More informationParsing and Pattern Recognition
Topics in IT 1 Parsing and Pattern Recognition Week 10 Lexical analysis College of Information Science and Engineering Ritsumeikan University 1 this week mid-term evaluation review lexical analysis its
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 informationCompiler construction 2005 lecture 5
Compiler construction in400 lecture 5 Semantic analysis Assignment #1 Chapter 6.1 Overview semantic analysis identification symbol tables type checking CS assignment yacc LLgen language parser generator
More informationCS 403: Scanning and Parsing
CS 403: Scanning and Parsing Stefan D. Bruda Fall 2017 THE COMPILATION PROCESS Character stream Scanner (lexical analysis) Token stream Parser (syntax analysis) Parse tree Semantic analysis Abstract syntax
More informationCS143 Handout 04 Summer 2011 June 22, 2011 flex In A Nutshell
CS143 Handout 04 Summer 2011 June 22, 2011 flex In A Nutshell Handout written by Julie Zelenski with minor edits by Keith. flex is a fast lexical analyzer generator. You specify the scanner you want in
More informationCompiler construction 2002 week 5
Compiler construction in400 lecture 5 Koen Langendoen Delft University of Technology The Netherlands Overview semantic analysis identification symbol tables type checking assignment yacc LLgen language
More informationBig Picture: Compilation Process. CSCI: 4500/6500 Programming Languages. Big Picture: Compilation Process. Big Picture: Compilation Process
Big Picture: Compilation Process Source program CSCI: 4500/6500 Programming Languages Lex & Yacc Symbol Table Scanner Lexical Parser Syntax Intermediate Code Generator Semantic Lexical units, token stream
More informationCompiler Construction. Lecture 10
Compiler Construction Lecture 10 Using Generated Scanner void main() { FlexLexer lex; int tc = lex.yylex(); while(tc!= 0) cout
More information8. Characters and Arrays
COMP1917 15s2 8. Characters and Arrays 1 COMP1917: Computing 1 8. Characters and Arrays Reading: Moffat, Section 7.1-7.5 ASCII The ASCII table gives a correspondence between characters and numbers behind
More informationFlex and lexical analysis
Flex and lexical analysis From the area of compilers, we get a host of tools to convert text files into programs. The first part of that process is often called lexical analysis, particularly for such
More informationThe structure of a compiler
The structure of a compiler Source code front-end Intermediate front-end representation compiler back-end machine code Front-end & Back-end C front-end Pascal front-end C front-end Intel x86 back-end Motorola
More informationIntroduction to C Programming. Chih-Wei Tang ( 唐之瑋 ) Department of Communication Engineering National Central University JhongLi, Taiwan
Introduction to C Programming Chih-Wei Tang ( 唐之瑋 ) Department of Communication Engineering National Central University JhongLi, Taiwan Outline Printing texts Adding 2 integers Comparing 2 integers C.E.,
More informationTHE COMPILATION PROCESS EXAMPLE OF TOKENS AND ATTRIBUTES
THE COMPILATION PROCESS Character stream CS 403: Scanning and Parsing Stefan D. Bruda Fall 207 Token stream Parse tree Abstract syntax tree Modified intermediate form Target language Modified target language
More informationCS 0449 Sample Midterm
Name: CS 0449 Sample Midterm Multiple Choice 1.) Given char *a = Hello ; char *b = World;, which of the following would result in an error? A) strlen(a) B) strcpy(a, b) C) strcmp(a, b) D) strstr(a, b)
More informationLexical and Syntax Analysis
Lexical and Syntax Analysis (of Programming Languages) Flex, a Lexical Analyser Generator Lexical and Syntax Analysis (of Programming Languages) Flex, a Lexical Analyser Generator Flex: a fast lexical
More informationApplications of Context-Free Grammars (CFG)
Applications of Context-Free Grammars (CFG) Parsers. The YACC Parser-Generator. by: Saleh Al-shomrani (1) Parsers Parsers are programs that create parse trees from source programs. Many aspects of a programming
More informationSyntax Directed Translation
CS143 Handout 16 Summer 2011 July 6 th, 2011 Syntax Directed Translation Handout written by Maggie Johnson and revised by Julie Zelenski. Syntax-directed translation refers to a method of compiler implementation
More informationLecture 02 C FUNDAMENTALS
Lecture 02 C FUNDAMENTALS 1 Keywords C Fundamentals auto double int struct break else long switch case enum register typedef char extern return union const float short unsigned continue for signed void
More informationEtienne Bernard eb/textes/minimanlexyacc-english.html
Tutorial de Lex/Yacc 1 Tutorial de Lex/Yacc 1 Etienne Bernard (bernard@isia.cma.fr) http://www.via.ecp.fr/ eb/textes/minimanlexyacc-english.html Conteúdo 1 The grammar used 2 2 Use of Lex in syntaxical
More informationCMSC445 Compiler design Blaheta. Project 2: Lexer. Due: 15 February 2012
CMSC445 Compiler design Blaheta Project 2: Lexer Due: 15 February 2012 In this project we ll actually get started on our C compiler; we ll use flex to process a C program into a stream of tokens (not just
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 informationSoftware II: Principles of Programming Languages
Software II: Principles of Programming Languages Lecture 4 Language Translation: Lexical and Syntactic Analysis Translation A translator transforms source code (a program written in one language) into
More informationChapter 3 -- Scanner (Lexical Analyzer)
Chapter 3 -- Scanner (Lexical Analyzer) Job: Translate input character stream into a token stream (terminals) Most programs with structured input have to deal with this problem Need precise definition
More informationSOFTWARE Ph.D. Qualifying Exam Spring Consider the following C program which consists of two function definitions including the main function.
(i) (5 pts.) SOFTWARE Ph.D. Qualifying Exam Spring 2018 Consider the following C program which consists of two function definitions including the main function. #include int g(int z) { int y
More informationGroup A Assignment 3(2)
Group A Assignment 3(2) Att (2) Perm(3) Oral(5) Total(10) Sign Title of Assignment: Lexical analyzer using LEX. 3.1.1 Problem Definition: Lexical analyzer for sample language using LEX. 3.1.2 Perquisite:
More informationExercise 1 Codify in Yacc the generator of the abstract trees of the language defined by the following grammar:
Exercise 1 Codify in Yacc the generator of the abstract trees of the language defined by the following grammar: program decl-list decl-list decl-list decl decl decl type init-list type int string boolean
More informationupper and lower case English letters: A-Z and a-z digits: 0-9 common punctuation symbols special non-printing characters: e.g newline and space.
The char Type The C type char stores small integers. It is 8 bits (almost always). char guaranteed able to represent integers 0.. +127. char mostly used to store ASCII character codes. Don t use char for
More informationLesson 10. CDT301 Compiler Theory, Spring 2011 Teacher: Linus Källberg
Lesson 10 CDT301 Compiler Theory, Spring 2011 Teacher: Linus Källberg Outline Flex Bison Abstract syntax trees 2 FLEX 3 Flex Tool for automatic generation of scanners Open-source version of Lex Takes regular
More informationLEX/Flex Scanner Generator
Compiler Design 1 LEX/Flex Scanner Generator Compiler Design 2 flex - Fast Lexical Analyzer Generator We can use flex a to automatically generate the lexical analyzer/scanner for the lexical atoms of a
More informationParsing How parser works?
Language Processing Systems Prof. Mohamed Hamada Software Engineering Lab. The University of Aizu Japan Syntax Analysis (Parsing) 1. Uses Regular Expressions to define tokens 2. Uses Finite Automata to
More informationConditional Statement
Conditional Statement 1 Conditional Statements Allow different sets of instructions to be executed depending on truth or falsity of a logical condition Also called Branching How do we specify conditions?
More informationLexical and Parser Tools
Lexical and Parser Tools CSE 413, Autumn 2005 Programming Languages http://www.cs.washington.edu/education/courses/413/05au/ 7-Dec-2005 cse413-20-tools 2005 University of Washington 1 References» The Lex
More informationVariables Data types Variable I/O. C introduction. Variables. Variables 1 / 14
C introduction Variables Variables 1 / 14 Contents Variables Data types Variable I/O Variables 2 / 14 Usage Declaration: t y p e i d e n t i f i e r ; Assignment: i d e n t i f i e r = v a l u e ; Definition
More informationIntroduction to Compilers and Language Design
Introduction to Compilers and Language Design Copyright 2018 Douglas Thain. Hardcover ISBN: 978-0-359-13804-3 Paperback ISBN: 978-0-359-14283-5 First edition. Anyone is free to download and print the PDF
More informationSyntax-Directed Translation
Syntax-Directed Translation ALSU Textbook Chapter 5.1 5.4, 4.8, 4.9 Tsan-sheng Hsu tshsu@iis.sinica.edu.tw http://www.iis.sinica.edu.tw/~tshsu 1 What is syntax-directed translation? Definition: The compilation
More informationScanning. COMP 520: Compiler Design (4 credits) Professor Laurie Hendren.
COMP 520 Winter 2016 Scanning COMP 520: Compiler Design (4 credits) Professor Laurie Hendren hendren@cs.mcgill.ca Scanning (1) COMP 520 Winter 2016 Scanning (2) Readings Crafting a Compiler: Chapter 2,
More informationIntroduction to C Programming
1 2 Introduction to C Programming 2.6 Decision Making: Equality and Relational Operators 2 Executable statements Perform actions (calculations, input/output of data) Perform decisions - May want to print
More information!"#$% &'($) *+!$ 0!'" 0+'&"$.&0-2$ 10.+3&2),&/3+, %&&/3+, C,-"!.&/+"*0.&('1 :2 %*10% *%7)/ 30'&. 0% /4%./
0!'" 0+'&"$ &0-2$ 10 +3&2),&/3+, #include int main() int i, sum, value; sum = 0; printf("enter ten numbers:\n"); for( i = 0; i < 10; i++ ) scanf("%d", &value); sum = sum + value; printf("their
More informationExercise ANTLRv4. Patryk Kiepas. March 25, 2017
Exercise ANTLRv4 Patryk Kiepas March 25, 2017 Our task is to learn ANTLR a parser generator. This tool generates parser and lexer for any language described using a context-free grammar. With this parser
More informationScanning. COMP 520: Compiler Design (4 credits) Alexander Krolik MWF 13:30-14:30, MD 279
COMP 520 Winter 2017 Scanning COMP 520: Compiler Design (4 credits) Alexander Krolik alexander.krolik@mail.mcgill.ca MWF 13:30-14:30, MD 279 Scanning (1) COMP 520 Winter 2017 Scanning (2) Announcements
More informationModule 8 - Lexical Analyzer Generator. 8.1 Need for a Tool. 8.2 Lexical Analyzer Generator Tool
Module 8 - Lexical Analyzer Generator This module discusses the core issues in designing a lexical analyzer generator from basis or using a tool. The basics of LEX tool are also discussed. 8.1 Need for
More informationParsing. COMP 520: Compiler Design (4 credits) Professor Laurie Hendren.
COMP 520 Winter 2015 Parsing COMP 520: Compiler Design (4 credits) Professor Laurie Hendren hendren@cs.mcgill.ca Parsing (1) COMP 520 Winter 2015 Parsing (2) A parser transforms a string of tokens into
More informationHW8 Use Lex/Yacc to Turn this: Into this: Lex and Yacc. Lex / Yacc History. A Quick Tour. if myvar == 6.02e23**2 then f(..!
Lex and Yacc A Quick Tour HW8 Use Lex/Yacc to Turn this: Into this: Here's a list: This is item one of a list This is item two. Lists should be indented four spaces, with each item marked
More informationFile IO and command line input CSE 2451
File IO and command line input CSE 2451 File functions Open/Close files fopen() open a stream for a file fclose() closes a stream One character at a time: fgetc() similar to getchar() fputc() similar to
More informationHigh Performance Programming Programming in C part 1
High Performance Programming Programming in C part 1 Anastasia Kruchinina Uppsala University, Sweden April 18, 2017 HPP 1 / 53 C is designed on a way to provide a full control of the computer. C is the
More informationTutorial 1: Introduction to C Computer Architecture and Systems Programming ( )
Systems Group Department of Computer Science ETH Zürich Tutorial 1: Introduction to C Computer Architecture and Systems Programming (252-0061-00) Herbstsemester 2012 Goal Quick introduction to C Enough
More informationC LANGUAGE A Short Course
C LANGUAGE A Short Course Alvaro F. M. Azevedo http://www.fe.up.pt/~alvaro January 2002 C Language - Alvaro Azevedo 1 ANSI C Standard (ANSI, ISO) Compiled - efficient Low level / high level Other languages
More informationMemory. What is memory? How is memory organized? Storage for variables, data, code etc. Text (Code) Data (Constants) BSS (Global and static variables)
Memory Allocation Memory What is memory? Storage for variables, data, code etc. How is memory organized? Text (Code) Data (Constants) BSS (Global and static variables) Text Data BSS Heap Stack (Local variables)
More informationComputer Science & Information Technology (CS) Rank under AIR 100. Examination Oriented Theory, Practice Set Key concepts, Analysis & Summary
GATE- 2016-17 Postal Correspondence 1 C-Programming Computer Science & Information Technology (CS) 20 Rank under AIR 100 Postal Correspondence Examination Oriented Theory, Practice Set Key concepts, Analysis
More informationA Pragmatic Introduction to Abstract Language Analysis with Flex and Bison under Windows DRAFT
A Pragmatic Introduction to Abstract Language Analysis with Flex and Bison under Windows DRAFT Dr. Christophe Meudec October 9, 2001 Abstract This introduction will allow you to make the most of two powerful
More informationFundamental Data Types. CSE 130: Introduction to Programming in C Stony Brook University
Fundamental Data Types CSE 130: Introduction to Programming in C Stony Brook University Program Organization in C The C System C consists of several parts: The C language The preprocessor The compiler
More informationLex and Yacc. A Quick Tour
Lex and Yacc A Quick Tour HW8 Use Lex/Yacc to Turn this: Here's a list: This is item one of a list This is item two. Lists should be indented four spaces, with each item marked by a "*"
More informationOperators and Expressions:
Operators and Expressions: Operators and expression using numeric and relational operators, mixed operands, type conversion, logical operators, bit operations, assignment operator, operator precedence
More informationCS 2301 Exam 3 B-Term 2011
NAME: CS 2301 Exam 3 B-Term 2011 Questions 1-3: (15) Question 4: (15) Question 5: (20) Question 6: (10) Question 7: (15) Question 8: (15) Question 9: (10) TOTAL: (100) You may refer to one sheet of notes
More informationLinear Data Structure
Linear Data Structure Definition A data structure is said to be linear if its elements form a sequence or a linear list. Examples: Array Linked List Stacks Queues Operations on linear Data Structures Traversal
More informationFundamental of Programming (C)
Borrowed from lecturer notes by Omid Jafarinezhad Fundamental of Programming (C) Lecturer: Vahid Khodabakhshi Lecture 3 Constants, Variables, Data Types, And Operations Department of Computer Engineering
More informationType 3 languages. Regular grammars Finite automata. Regular expressions. Deterministic Nondeterministic. a, a, ε, E 1.E 2, E 1 E 2, E 1*, (E 1 )
Course 7 1 Type 3 languages Regular grammars Finite automata Deterministic Nondeterministic Regular expressions a, a, ε, E 1.E 2, E 1 E 2, E 1*, (E 1 ) 2 Brief history of programming Stages of compilation
More information