Describing Syntax and Semantics.ppt

Describing Syntax and Semantics Brahim Hnich H?gskola I G?vle http://www.csd.uu.se/~brahim brahim@csd.uu.se Overview Introduction Syntax BNF Parse Trees EBNF Recursive descent parsing Semantics Operational Semantics Axiomatic Semantics Denotational Semantics Introduction Syntax Backus-Naur Form (BNF) Backus-Naur Form II BNF: Parse Trees BNF: Parse Trees II BNF: Parse Trees III EBNF EBNF II Recursive Descent Parsing Recursive DescentParsing II Dynamic Semantics Dynamic Semantics II Dynamic Semantics III Dynamic Semantic VI Dynamic Semantics V Dynamic Semantics VI Denotational Semantics Den