áProgramñ

::=

read áVarñ, ... áVarñ; áBasicBlockñ⁺

áBasicBlockñ

::=

áLabelñ: áAssignmentñ^* áJumpñ

áAssignmentñ

::=

áVarñ := áExprñ ;

áJumpñ

áExprñ

áConstantñ

::=

quote áValñ
(Abkürzend kann der konstante Ausdruck (quote value) auch als 'value geschrieben werden.)

áOpñ

::=

hd | tl | cons | ...
(und weitere für Interpreter und Programmspezialisierer benötigte)

áLabelñ

::=

Identifizierer oder Zahl