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