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

Kategori:Programmering