Formalizm definicji składni

Formalizm definicji składni ( SDF ) to metaskładnia używana do definiowania gramatyk bezkontekstowych : to znaczy formalny sposób opisywania języków formalnych. Może wyrażać cały zakres gramatyk bezkontekstowych . Jego aktualna wersja to SDF3. Parser i generator parserów dla specyfikacji SDF są dostarczane jako część bezpłatnego Metaśrodowiska ASF+SDF. Działają one przy użyciu SGLR ( parser GLR bez skanera ). Parser SDF wyświetla drzewa analizy lub, w przypadku niejasności , analizować lasy.

Przegląd

Cechy SDF:

• Obsługuje całą gamę języków bezkontekstowych
• Umożliwia modułowe definicje składni (gramatyki mogą importować podgramatyki), co umożliwia ponowne użycie
• Obsługuje adnotacje

Przykłady

Poniższy przykład definiuje prostą składnię wyrażenia boolowskiego w SDF2:

moduł basic/Booleans eksportuje sortuje Boolean bezkontekstowe symbole startowe Boolean bezkontekstowa składnia "true" -> Boolean "false" -> Boolean lhs:Boolean "|" rhs:Boolean -> Boolean {lewo} lhs:Boolean "&" rhs:Boolean -> Boolean {lewo} "nie" "(" Boolean ")" -> Boolean "(" Boolean ")" -> Boolean bez kontekstu priorytety Boolean "&" Boolean -> Boolean > Boolean "|" Boolean -> Boolean

Analiza programów i systemy transformacji z wykorzystaniem SDF

• ASF+SDF Meta Środowisko zapewnia SDF
• RascalMPL
• Fałszowanie/IMP [1]
• Strategia/XT
• Strafuński

Zobacz też

• Bizon GNU
• ANTLR

Dalsza lektura

• Szybkie wprowadzenie do SDF, Visser, J. & Scheerder, J. (2000) CWI
• Formalizm definicji składni SDF, Mark van den Brand, Paul Klint, Jurgen Vinju (2007) CWI

Linki zewnętrzne

• Zestaw wdrażania gramatyki
• SdfMetz oblicza metryki dla gramatyk SDF
• Pobierz plik SDF ze strony głównej ASF+SDF Meta Environment