The subject ‘Automata, Languages and Computation’ is offered as one of the most fundamental electives in the courses related to computer science. The book deals with aspects of theoretical computer science namely automata, formal languages and Turing machines. This book provides numerous examples that illustrate the basic concept, and easy techniques to solve the examples. It is illustrated with the diagrams. The emphasis is on the construction and the key feature is the ways of solving examples. This provides the opportunity to students to be confident while solving the Automaton and Turing machines. The book fulfills the basic needs of UG and PG students of computer science and engineering students.