A Flexible Notation for Syntactic Definitions

Abstract

Syntactic DefinitionsIn view of the proliferation of notations for defining the syntax of programming languages, it has been suggested that a simple notation should be adopted as a standard.However, any notation adopted as a standard should also be as versatile as possible.For this reason, a notation is presented here which is both simple and versatile and which has additional benefits when specifying the static semantic rules of a language.