SEARCH Articles Figures Tables C shows sets of admissible states M starting from initial state 0, Ct [Publishers Imprint]