Automata, computability and complexity: Theory and applications - Rich, Elaine (Pearson Education Inc., 2009)