SDF is a language for defining syntax. It provides for an unprecedented level of conciseness in syntax definitions.

  • First, syntax can be defined in modules.
  • Second, lexical and context-free syntax are integrated in a single formalism in which the complete syntax of a language can be defined.
  • Third, SDF includes declarative disambiguation constructs.

Therefore, there is no need to introduce non-terminals to deal with ambiguities in a language.

Some useful places to start: