 In this case, the vector "q" is replaced by a vector which can have more than one entry that is non-zero.Such a vector then represents an element of the power set of "Q"; its just an indicator function on "Q".Likewise, the state transition matrices formula_14 are defined in such a way that a given column can have several non-zero entries in it.