state_machine_declaration
Kind: production
Record: pag:production-state-machine-declaration
Canonical: Grammar
"STATE_MACHINE" <machine_name> ":" <state_definition>+ <transition_definition>+
Listed in Grammar records, after tool_result_clause and before dag_declaration.