Definice syntaxe Formalismus - Syntax Definition Formalism - Wikipedia

The Definice syntaxe Formalismus (SDF) je metasyntax slouží k definování bezkontextové gramatiky: tj. formální způsob popisu formálních jazyků. Může vyjádřit celou řadu bezkontextové gramatiky. Jeho aktuální verze je SDF3.^[1] A analyzátor a generátor analyzátoru pro specifikace SDF jsou poskytovány jako součást zdarma Meta prostředí ASF + SDF. Ty fungují pomocí SGLR (Bez skeneru Analyzátor GLR ). Analyzátor SDF vystupuje analyzovat stromy nebo v případě nejasnosti, analyzovat lesy.

Přehled

Vlastnosti SDF:

• Podporuje celou řadu bezkontextových jazyků
• Umožňuje modulární definice syntaxe (gramatiky mohou importovat podprogramy), což umožňuje opětovné použití
• Podporuje anotace

Příklady

Následující příklad definuje jednoduchou logickou výrazovou syntaxi v SDF2:

modul basic / Booleansexports třídí Boolean bezkontextové počáteční symboly Booleancontext-free syntaxe "true" -> Boolean "false" -> Boolean lhs: Boolean "|" rhs: Boolean -> Boolean {left} lhs: Boolean "&" rhs: Boolean -> Boolean {left} "not" "(" Boolean ")" -> Boolean "(" Boolean ")" -> Boolean bez kontextu priority Boolean "&" Boolean -> Boolean> Boolean "|" Boolean -> Boolean

Programujte analytické a transformační systémy pomocí SDF

• Meta prostředí ASF + SDF poskytuje SDF
• RascalMPL
• Spoofax / IMP [1]
• Stratego / XT
• Strafunski

Viz také

• GNU bizoni
• ANTLR

Reference

Další čtení

• Rychlý úvod do SDF, Visser, J. & Scheerder, J. (2000) CWI
• Syntax Definition Formalism SDF, Mark van den Brand, Paul Klint, Jurgen Vinju (2007) CWI

externí odkazy

• Grammar Deployment Kit
• SdfMetz počítá metriky pro SDF gramatiky
• Stáhněte si SDF z Domovská stránka Meta prostředí ASF + SDF Meta Environment

Tento počítačová věda článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.