# 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
    }