Syntax I - University of Iowahomepage.cs.uiowa.edu/~tinelli/classes/111/Fall08/Notes/ch02-I.pdf ·...

22c:111 Programming Language Concepts - Fall 2008

22c:111 Programming Language Concepts

Fall 2008

Copyright 2007-08, The McGraw-Hill Company and Cesare Tinelli.These notes were originally developed by Allen Tucker, Robert Noonan and modified by Cesare Tinelli. They arecopyrighted materials and may not be used in other course settings outside of the University of Iowa in their current formor modified form without the express written permission of one of the copyright holders. During this course, students areprohibited from selling notes to or being paid for taking notes by any person or commercial firm without the expresswritten permission of one of the copyright holders.

Syntax I

Contents

2.1 Grammars2.1.1 Backus-Naur Form2.1.2 Derivations2.1.3 Parse Trees2.1.4 Associativity and Precedence2.1.5 Ambiguous Grammars

2.2 Extended BNF2.3 Syntax of a Small Language: Clite

2.3.1 Lexical Syntax2.3.2 Concrete Syntax

2.4 Compilers and Interpreters2.5 Linking Syntax and Semantics

2.5.1 Abstract Syntax2.5.2 Abstract Syntax Trees2.5.3 Abstract Syntax of Clite

Thinking about Syntax

The syntax of a programming language is a precisedescription of all its grammatically correctprograms.

Precise syntax was first used with Algol 60, and hasbeen used ever since.

Three levels:– Lexical syntax– Concrete syntax– Abstract syntax

Levels of Syntax

Lexical syntax = all the basic symbols of thelanguage (names, values, operators, etc.)

Concrete syntax = rules for writing expressions,statements and programs.

Abstract syntax = internal representation of theprogram, favoring content over form. E.g.,– C: if ( expr ) ... discard ( )– Ada: if ( expr ) then discard then

2.1 Grammars

A metalanguage is a language used to define otherlanguages.

A grammar is a metalanguage used to define thesyntax of a language.

Our interest: using grammars to define the syntax ofa programming language.

2.1.1 Backus-Naur Form (BNF)

• Stylized version of a context-free grammar (cf.Chomsky hierarchy)

• Sometimes called Backus Normal Form• First used to define syntax of Algol 60• Now used to define syntax of most major languages

BNF Grammar

Set of productions: Pterminal symbols: Tnonterminal symbols: Nstart symbol:

A production has the form

where and!

" # (N$T) *

Example: Binary Digits

Consider the grammar:binaryDigit → 0binaryDigit → 1

or equivalently:binaryDigit → 0 | 1

Here, | is a metacharacter that separates alternatives.

2.1.2 Derivations

Consider the grammar:Integer → Digit | Integer DigitDigit → 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9

We can derive any unsigned integer, like 352, fromthe start symbol Integer in this grammar.

Derivation of 352 as an Integer

A 6-step process, starting with:

Integer

Derivation of 352 (step 1)

Use a grammar rule to enable each step:

Integer ⇒ Integer Digit

Derivation of 352 (steps 1-2)

Replace a nonterminal by a right-hand side of one ofits rules:

Integer ⇒ Integer Digit ⇒ Integer 2

Each step follows from the one before it.

Integer ⇒ Integer Digit ⇒ Integer 2 ⇒ Integer Digit 2

Integer ⇒ Integer Digit ⇒ Integer 2 ⇒ Integer Digit 2 ⇒ Integer 5 2

Integer ⇒ Integer Digit ⇒ Integer 2 ⇒ Integer Digit 2 ⇒ Integer 5 2 ⇒ Digit 5 2

You know you’re finished when there are onlyterminal symbols remaining.

Integer ⇒ Integer Digit ⇒ Integer 2 ⇒ Integer Digit 2 ⇒ Integer 5 2 ⇒ Digit 5 2 ⇒ 3 5 2

A Different Derivation of 352

Integer ⇒ Integer Digit ⇒ Integer Digit Digit ⇒ Digit Digit Digit ⇒ 3 Digit Digit ⇒ 3 5 Digit ⇒ 3 5 2

This is called a leftmost derivation, since at each stepthe leftmost nonterminal is replaced.(The first one was a rightmost derivation.)

Notation for Derivations

Integer ⇒* 352Means that 352 can be derived in a finite number of stepsusing the grammar for Integer.

352 ∈ L(G)Means that 352 is a member of the language defined bygrammar G.

L(G) = { ω ∈ T* | Integer ⇒* ω }Means that the language defined by grammar G is the setof all symbol strings ω that can be derived as an Integer.

2.1.3 Parse Trees

A parse tree is a graphical representation of aderivation.Each internal node of the tree corresponds to a step in the

derivation.Each child of a node represents a right-hand side of a

production.Each leaf node represents a symbol of the derived string,

reading from left to right.

E.g., The step Integer ⇒ Integer Digitappears in the parse tree as:

Integer

Integer Digit

Parse Tree for 352 as an IntegerFigure 2.1

Arithmetic Expression Grammar

The following grammar defines the language ofarithmetic expressions with 1-digit integers, addition,and subtraction.

Parse of the String 5-4+3Figure 2.2

2.1.4 Associativity and PrecedenceA grammar can be used to define associativity and

precedence among the operators in an expression.E.g., + and - are left-associative operators in mathematics;

* and / have higher precedence than + and - .

Consider the more interesting grammar G1:Expr → Expr + Term | Expr – Term | TermTerm → Term * Factor | Term / Factor |

Parse of 4**2**3+5*6+7 for Grammar G1Figure 2.3

Precedence Associativity Operators3 right **2 left * / %1 left + -

Note: These relationships are shown by the structureof the parse tree: highest precedence at the bottom,and left-associativity on the left at each level.

Associativity and Precedence for Grammar G1Table 2.1

2.1.5 Ambiguous GrammarsA grammar is ambiguous if one of its strings has two or

more different parse trees (equivalently, if it has twoor more different left-most derivations).E.g., Grammar G1 above is not ambiguous.

C, C++, and Java have a large number of– operators and– precedence levels

Instead of using a large grammar, we can:– Write a smaller ambiguous grammar, and– Give separate precedence and associativity (e.g., Table 2.1)

An Ambiguous Expression Grammar G2

Expr → Expr Op Expr | ( Expr ) | IntegerOp → + | - | * | / | % | **

Notes:– G2 is equivalent to G1. I.e., its language is the same.– G2 has fewer productions and nonterminals than G1.– However, G2 is ambiguous.

Ambiguous Parse of 5-4+3 Using Grammar G2Figure 2.4

The Dangling Else

Block → { Statements }Statements → Statements Statement | StatementStatement → Assignment | IfStatement | BlockIfStatement → if ( Expression ) Statement |

if ( Expression ) Statement else Statement

Example

With which ‘if’ does the following ‘else’ associate

if (x < 0)if (y < 0) y = y - 1;else y = 0;

Answer: either one!

The Dangling Else AmbiguityFigure 2.5

Solving the dangling else ambiguity1. Algol 60, C, C++: associate each else with

closest if; use {} or begin…end to override.2. Algol 68, Modula, Ada: use explicit delimiter to

end every conditional (e.g., if…fi)3. Java: rewrite the grammar to limit what can

appear in a conditional:IfThenStatement → if ( Expression ) StatementIfThenElseStatement → if ( Expression ) StatementNoShortIf

else Statement

The category StatementNoShortIf includes allexcept IfThenStatement.

2.2 Extended BNF (EBNF)

BNF:– recursion for iteration– nonterminals for grouping

EBNF: additional metacharacters– { } for a series of zero or more

– ( ) for a list, must pick one

– [ ] for an optional list; pick none or one

EBNF Examples

Expression is a list of one or more Terms separated byoperators + and -Expression → Term { ( + | - ) Term }IfStatement → if ( Expression ) Statement [ else Statement ]

C-style EBNF lists alternatives vertically and uses opt tosignify optional parts. E.g.,IfStatement:

if ( Expression ) Statement ElsePartoptElsePart:

else Statement

EBNF to BNF

We can always rewrite an EBNF grammar as a BNFgrammar. E.g.,

A → x { y } zcan be rewritten:

A → x A' zA' → ε | y A'

(Rewriting EBNF rules with ( ), [ ] is left as an exercise.)

While EBNF is no more powerful than BNF, its rules areoften simpler and clearer.

Syntax I - University of Iowahomepage.cs.uiowa.edu/~tinelli/classes/111/Fall08/Notes/ch02-I.pdf ·...

Documents

Names - Mathematical Sciences Home Pages--College …homepage.cs.uiowa.edu/~tinelli/classes/111/Fall08/Notes/...The scope in which a name is defined or delared is called its defining

22c:111 Programming Language Concepts - University of Iowahomepage.cs.uiowa.edu/~tinelli/classes/111/Fall08/Notes/ch01.pdf · ch01.ppt Author: Cesare Tinelli Created Date: 8/27/2008

Tuba Audition Etude #1 - Liberty University1).pdf · 2018. 8. 2. · Tuba Audition Etude #2. 111 111 111 111 iiii . 111! 111 111 111' Ill 111 iiH 111 Ill Ilii . Created Date: 2/16/2018

SAT: Propositional Satisfiability - University of Iowahomepage.divms.uiowa.edu/~tinelli/classes/4420/Fall05/...SAT: Propositional Satisfiability 22c:145 Artificial Intelligence Russell

Object-Oriented Programming - University of Iowahomepage.cs.uiowa.edu/~tinelli/classes/111/Fall08/Notes/ch13.pdf · Object-Oriented Programming. 22c:111 Programming Language Concepts

Integrating Computing Education with ... - University of Iowahomepage.cs.uiowa.edu/~rus/cpa05_2.pdf · Integrating Computing Education with Ontology Engineering Teodor Rus1, PI, Department

new Microbiologica Proceedings · new Microbiologica Proceedings President Marco Tinelli. 2 President Marco Tinelli Scientific Committee Paolo Grossi Luigi Macchi Francesco Mazzotta

Handbook of Satisﬁability - University of Iowahomepage.cs.uiowa.edu/~tinelli/papers/BarSST-09.pdf · Handbook of Satisﬁability Clark Barrett1 Roberto Sebastiani2 Sanjit A. Seshia3

Combined Satisﬁability Modulo Parametric Theorieshomepage.cs.uiowa.edu/~tinelli/talks/Intel-07.pdfCombined Satisﬁability Modulo Parametric Theories . TACAS’07, 2007. S. Krstic

i. 111 · 2017-09-23 · i. 111 ... i. "111

«ATutorialon Abstract Interpretationhomepage.cs.uiowa.edu/~tinelli/classes/seminar/Cousot--A Tutorial on AI.pdfStatic analysis by abstract interpretation VMCAI’05 Industrial Day,

Object-Oriented Software Developmenthomepage.cs.uiowa.edu/~tinelli/classes/022/Spring... · Module Decomposition •Decomposing a system into module presents challenging design decisions!

Michela Tinelli, Mandy Ryan and Christine Bond What, who and …eprints.lse.ac.uk/67499/1/Tinelli_What,who and when.pdf · 2016-08-18 · Michela Tinelli, Mandy Ryan and Christine

Abstract - University of Iowahomepage.cs.uiowa.edu/~hourcade/papers/humancomputationandc… · modern forms of communication such as Twitter (Riddihough et al., 2012). In our discussion

shodhganga.inflibnet.ac.in · 2018-07-07 · % !. 0 #111 "# !. # 111(0 #111"# !. 0 #1112 #111"# $ !. 0 #111(3 #111"# !. 3 #111 "0 #

Finding Conflicting Instances of Quantified Formulas in SMT Andrew Reynolds Cesare Tinelli Leonardo De Moura July 18, 2014

Intelligent Agents - University of Iowahomepage.cs.uiowa.edu/~hzhang/c145/notes/02-agents.pdfIntelligent Agents Readings: Chapter 2 of ... analysis system Pixels of varying ... scene

INTERNATIONAL TELECOMMUNICATION UNION - ITU€¦ · 111 110 101 100 011 010 001 000 111 – – 000 – 000 000 000 0000 111 111 111 – 111 – – 000 0001 1 “−” .. )

ThDe omMna iodel - University of Iowahomepage.cs.uiowa.edu/~tinelli/classes/022/Spring15/... · 2015-04-14 · 6)CaCus lesehtl riostmeaht rnoet,ad tal oskf rs pamyent . 7) Cuostmep

Informed Search and Exploration - University of Iowahomepage.cs.uiowa.edu/~hzhang/c145/notes/4b-search.pdf · Artiﬁcial Intelligence Informed Search and Exploration Readings: Chapter