How the canvas responds while you build: new states, the grid, zooming and selection.

How states and transitions are drawn on the canvas.

Where things are placed: the auto-layout command, and how edges and labels keep out of each other's way.

What the canvas gives up to stay responsive on machines with hundreds of states. The machine itself is never changed.

How a run is played back, how long one may go on, and what happens when it never halts.

Choices that change what a family of machines means. Options that belong to one machine, like a two-way tape or a PFA's cut-point, are in the Workspace panel's Machine section.

The reserved symbols machines are written with. Changing one renames it everywhere it already appears.

The AI assistant: which model it talks to, how it works, and what it hands back.

Arrow keys move the selection when states are selected, and step the simulation otherwise.

The first of each pair is the desktop app's. A browser keeps those for its own tabs, so on the website use the Alt one.

Minimap keys apply while it has keyboard focus.