Reference documentation for the fla-- Turing Machine scripting language.
Getting Started
| Document | Description |
|---|
| Overview | The structure of a fla-- program and how its sections fit together. |
| Variants | The available Turing machine variants and their rules. |
Settings
| Document | Description |
|---|
| setvariant | Required. Sets the variant (type) of the machine. |
| settapecount | Sets the number of tapes for multi-tape variants. |
| setalpha | Defines the tape alphabet. |
| setblank | Defines the blank symbol that fills empty tape cells. |
Declarations & Markers
| Document | Description |
|---|
| makestates | Declares the states of the Turing machine. |
| makeinit | Designates the initial (start) state. |
| makeaccept | Designates an accept (final) state. |
| makereject | Designates a reject state. |
| makehalt | Designates a halt state for the computational variant. |
Transitions
| Document | Description |
|---|
| maketransitions | Defines the transition rules for the Turing machine. |