Our interest : using grammars to define the syntax of a programming language. BNF uses abstractions for syntactic structures, which act like syntactic variables ...