Johnston Barbara C ++ Programming Today - PEARSON EDUCATION 2007 - 733 Finite Automata Theory ; Switching