I am currently pursuing my M.Tech in Digital Image Processing, I want to take admission in PhD program using subjects either Formal Language and Automata Theory or Compiler Design, Can anyone please suggest me books which covers.
- Very basic concepts of these subjects.
- Very depth knowledge of these subjects.
For compiler design, you may please refer to
I read Hopcroft for automata theory.
On the OP's request, a few advanced books on Automata theory are W.Thomas, Languages, Automata and Logic and Elements of Finite Model Theory by L.Libkin.
also, A much advanced book in compiler design is by Steven Muchnick. I haven't read the last few books, but they have been given to me by my elder brother.