Support for synchronous and asynchronous state machines.
Denotes a type which represents a state machine.