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
}