Syntax Definition Formalism

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

Eksampler
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

Programmering