Getters for the transitions in MachineState