Difference between revisions of "SDF3"

From MyInfoRepo
Jump to navigation Jump to search
Line 1: Line 1:
Start
Syntax Definition Formalisms 3 (SDF3) is an academic syntax definition, used for compiling languages. It is part of the Spoofax workbench.


== Intro == <!--T:4-->
== Intro == <!--T:4-->
none yet
== Syntax and language basics == <!--T:6-->
== Syntax and language basics == <!--T:6-->
Formal language definitions are very much related to (context-free) grammars, as we know them from automata.
=== Definitions === <!--T:6-->
=== Definitions === <!--T:6-->
=== Lexical vs Context free === <!--T:6-->
=== Lexical vs Context free === <!--T:6-->
== An example program == <!--T:6-->
== An example program == <!--T:6-->

Revision as of 18:11, 8 September 2020

Syntax Definition Formalisms 3 (SDF3) is an academic syntax definition, used for compiling languages. It is part of the Spoofax workbench.

Intro

none yet

Syntax and language basics

Formal language definitions are very much related to (context-free) grammars, as we know them from automata.

Definitions

Lexical vs Context free

An example program