"Rich, Elaine" "Automata, computability & complexity: Theory & applications" - Pearson In ISBN: 9788131788226