# state_machine_declaration

> "STATE_MACHINE" <machine_name> ":" <state_definition>+ <transition_definition>+

Record: `pag:production-state-machine-declaration`
Kind: production
Canonical: https://banes-lab.com/ontology/grammar#pag-production-state-machine-declaration

Listed in [Grammar records](https://banes-lab.com/api/records/pag.md), after [tool_result_clause](https://banes-lab.com/records/pag/production-tool-result-clause.md) and before [dag_declaration](https://banes-lab.com/records/pag/production-dag-declaration.md).

## Grounds

- [representation:dynamical-systems](https://banes-lab.com/records/reasoning/representation-dynamical-systems.md)