Automata, computability, and complexity : theory and applications - Elaine Rich (Pearson Education, 2009)