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.