States

A state block opens with the unindented state keyword and the state's name:

state HOLDING OPEN

The grammar for the whole header line is:

state_header = "state" SP state_name signature? (SP DELETION)? EOL*
state_name = name

The name is an ordinary name, so it's one or more words joined by single spaces or underscores, optionally ending in a ?. What follows it — a signature (see Signatures) and a deletion marker (see Deletion states) — is optional, giving four possible shapes for the line: