SDF3

From MyInfoRepo
Revision as of 17:18, 8 September 2020 by 80.112.161.244 (talk)
Jump to navigation Jump to search

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

    • sorts**

Sorts are a

Lexical vs Context free

An example program