SDFII

Program-Transformation.Org: The Program Transformation Wiki
SDF2 is successor of the first Syntax Definition Formalism SDF. SDF2 features

  • Integration of lexical and context-free syntax
  • Modules with parameters and renaming
  • Rich regular expression
  • Relative priorities
  • production attributes (e.g., for mapping to abstract syntax)
  • FollowRestrictions?
  • RejectProductions?

Many of these features are implemented by means of a normalization to KernelSDF?.

The formalism is supported by an extension of the SLR(0) parsing generation algorithm that is aware of priorities and follow restrictions. The parse tables produced by the parser generator are interpreted by SGLR, an extension of the GLR parsing algorithm that handles reductions with reject productions.

The definition can be found in AFamilyOfSyntaxDefinitionFormalisms? which also appeared in SyntaxDefinitionForLanguagePrototyping.


CategoryLanguage | Contributions by EelcoVisser