tokens: A parity automaton is said to be weak if no two strongly connected states have distinct colors , i.e. , if looking at the partition of its states to maximal strongly connected components ( MSCCs ) all states of an MSCC have the same color .