tree
svg code
dot code
Zoom

        

Transitions

Transitions, or edges, are the core of a state machine. Most states are implicitly declared by being in a transition.

On -> Off;
A one-directional transition from a state called On to a state called Off
On => Off;
A main path transition
On ~> Off;
A forced only transition
On <-> Off;
Two one-directional transitions, one from On to Off, and one from Off to On
On <=~> Off;
Two one-directional transitions, one forced-only from On to Off, and one main path from Off to On
Red -> Green -> Yellow -> Red;
Writing in chains, for density and readability
"Just today" -> "Tomorrow's list";
Using quote marks to include characters (in this case spaces and an apostrophe) which would not otherwise be legal in a name

Actions

Actions, or events, allow the state machine to handle things through the machine structure rather than functional behavior.

On 'toggle' -> Off;
A statement that, when in the On state, the toggle action will cause a switch to the Off state
On 'toggle' -> Off 'toggle' -> On;
A toggle action which changes the state both ways between Off and On as appropriate
Red 'proceed' -> Green 'proceed' -> Yellow 'proceed' -> Red;
A proceed action which cycles through a traffic light's colors automatically

Spread

Spread is a convenient way to write multiple similar edges at once.

Warrior -> [Barbarian Ranger Paladin];
Three transitions, one each from the state Warrior to the states Barbarian, Ranger, and Paladin
[Red Yellow Green] ~> Off;
Three forced transitions, one each from the states Red, Yellow, and Green to the state Off
[Asleep Awake Frightened] -> [Asleep Awake Frightened];
Nine transitions, one each from the states Asleep, Awake, and Frightened to each other, including potentially themselves

Machine Attributes

The machine itself has some attributes.

machine_name: "Example";
Sets the name of the machine. Used by the search and generation machinery.
machine_author: "Bob <who@whom.example.com>";
The author of the machine. Does not require an email format; takes a string or a list of strings.
machine_author: "Bob <who@whom.example.com>";
The author of the machine. Does not require an email format; takes a string or a list of strings.