xpl3t!v3 Formalisms
Grammar
S -> ALPH | HALT | RULE | INPUT | TITLE | COMMENT | NEWLINE
ALPH -> @|?h A
A -> symbolA | epsilon
HALT -> h@|+ H
H -> symbol | epsilon
RULE -> r#|3 R A
R -> symbol
INPUT -> n?#+ A
TITLE -> +|+13 A
COMMENT -> *A
NEWLINE -> epsilon
Notes
Symbols can be represented by single or multiple characters.
Example: r#|3 a abc
maps a
to the single symbol abc
.
Whereas, r#|3 a a b c
maps a
to the sequence of symbols
a
, b
, and c
.
Inline comments are not currently supported.