Syntax Definition Formalism

Syntax Definition Formalism (SDF) er en metasyntaks for å beskrive syntaksen til programmeringsspråk, basert på universell algebra.

Eksempler

Dette er et eksempel som definerer et enkelt bolsk uttrykk med SDF2-syntax:

module basic/Booleans

exports
  sorts Boolean
  context-free start-symbols Boolean

context-free syntax
   "true"                      -> Boolean
   "false"                     -> Boolean
   lhs:Boolean "|" rhs:Boolean -> Boolean {left}         
   lhs:Boolean "&" rhs:Boolean -> Boolean {left}       
   "not" "(" Boolean ")"       -> Boolean           
   "(" Boolean ")"             -> Boolean

 context-free priorities
   Boolean "&" Boolean -> Boolean >
   Boolean "|" Boolean -> Boolean