it's a theory of computation/formal languages textbook. thw canonical reference is sipser's intro to theory of computation but i like hopcroft, ullman's intro automata, languages, computation much more.