lecture 02 -- Grammars and Recursive Procedures

lecture 02 -- Grammars and Recursive Procedures -...

Info iconThis preview shows pages 1–6. Sign up to view the full content.

View Full Document Right Arrow Icon
10/10/2010 1 T. METIN SEZGIN SEPT 29 2010 Lecture 1 Recursive Procedures Lecture Overview Recursively specified data Inductive data specification Defining sets using grammars Induction Recursively specified programs Smaller sub-problem principle (wishful thinking) Examples Auxiliary procedures Why? Procedures Data
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
10/10/2010 2 Defining list of integers Example Show that (-7 3 14) is a list of integers:
Background image of page 2
10/10/2010 3 Example Show that (-7 3 14) is a list of integers: Derivation (deduction tree) T. METIN SEZGIN OCT 6 2010 Lecture 2 Grammars & Recursive Procedures
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
10/10/2010 4 Defining Sets Using Grammars Components of a grammar Terminals Non-terminals (syntactic categories) Productions (no context) Optional bits Naming conventions BNF, CNF Kleene notation Star {<exp>} * , Plus {<exp>} + , Separated list Plus {<exp>} +(,) Grammar example S-lists Examples
Background image of page 4
10/10/2010 5 Grammar example Binary Trees Examples Grammar example Lambda Calculus Examples
Background image of page 5

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 6
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 04/13/2011 for the course ENGR 301 taught by Professor Raultekin during the Spring '10 term at Boğaziçi University.

Page1 / 18

lecture 02 -- Grammars and Recursive Procedures -...

This preview shows document pages 1 - 6. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online