Example: barber
Chapter 3 Describing Syntax and Semantics

Chapter 3 Describing Syntax and Semantics

Back to document page

BNF (Backus-Naur Form) is equivalent to context-free grammars used for describing syntax. Fundamentals – A metalanguage is a language used to describe another language “Ex: BNF.” ... y > 13 – x Sequences The weakest precondition for a sequence of statements cannot be described by an axiom,

  Form, Arun, Backus naur form, Backus

Download Chapter 3 Describing Syntax and Semantics


Information

Domain:

Source:

Link to this page:

Please notify us if you found a problem with this document:

Other abuse

Advertisement

Related search queries