SDFII is successor of the first Syntax Definition Formalism SDF. SDFII 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

Revision: r1.2 - 28 Feb 2002 - 23:15 - EelcoVisser
Transform > SDFII
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback