Switching Finite Automata Theory Solution Manual