States
The specification of states has the following structure. First, optionally, transitions that can be taken in all states can be specified:
in all states {
transitions
}
If some transitions are generally defined for all states except some given states, they can be specified with the except keyword:
in all states except stateName {
transitions
}
Next the states are specified, with exactly one initial state per machine. Nested states are not allowed.
initial state name1 {
transitions
}
state name2 {
transitions
}