Wolfram/Parser | Paclet Repository

Wolfram`Parser`Languages`Brainfuck`

BrainfuckSemantic

is the algebra - an

Association

of builder functions - that compiles a Brainfuck parse to an executable machine -> machine closure.

Details and Options

▪

BrainfuckSemantic

is one of the two algebras the Brainfuck grammar runs over. It is the meaningful, executable one: each builder turns a parsed construct into a function machine -> machine, so the whole parse compiles to a closure that runs the program. The neutral alternative builds a standard syntax tree instead, surfaced through

BrainfuckAST

▪

It is a plain

Association

with three keys:

"Op"

"Seq"

, and

"Loop"

BrainfuckGrammar

's semantic actions look up these keys, so the algebra is the language's meaning - swap it and the same grammar means something else.

▪

"Op"

compiles one command token to a machine -> machine

Function

move the cell pointer,

change the current cell (taken

Mod

256

appends the cell to the output, and

consumes one input byte (or writes

when input is exhausted).

▪

"Seq"

composes a list of command machines with

RightComposition

- run left to right.

"Loop"

wraps a body in a

NestWhile

: the body runs while the current cell is nonzero.

▪

BrainfuckRun

is just

BrainfuckGrammar

[BrainfuckSemantic]

packaged as a function: it threads a fresh machine through the compiled closure and decodes the collected output bytes. To get the standard tree for the same grammar, use