References – Introduction to Automata Theory, Formal Languages and Computation


Aho, Hopcroft and Ullman, The Design and Analysis of Computer Algorithms, Addison Wesley.

Aho, Sethi, Ullman, Compilers Principles, Techniques and Tools, Pearson Education, 2003.

Hopcroft and Ullman, Introduction to Automata Theory, Languages and Computation, Addison Wesley.

Kohavi, ZVI, Switching And Finite Automata Theory, Tata McGraw-Hill, 2006.

Lewis and Papadimitriou, Elements of the Theory of Computation, Prentice-Hall.

Martin, Introduction to Languages and the Theory of Computation, McGraw-Hill, 2nd edition,1996.

Mishra, KLP, Chandrasekaran, N. Theory of Computer Science, (Automata, Languages and Computation) PHI, 2002.

Pandey, An Introduction to Automata Theory and Formal Languages, S. K. Kataria & Sons, 2010.

Pandey, Concept of Compiler Design, S. K. Kataria & Sons, 2010.

Moore, Edward F. “Gedanken-experiments on Sequential Machines”. Automata Studies, Annals of Mathematical Studies (Princeton, N.J.: Princeton University Press) (34): 129–153.

Mealy, George H. A Method to Synthesizing Sequential Circuits. Bell Systems Technical Journal. 1955, 1045–1079.

Chomsky, Noam. “Three models for the description of language”. IRE Transactions on Information Theory, 1956, 113–124.

Davis et al. Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science. Boston: Academic Press, Harcourt, Brace, 1994, 327.

S. Y. Kuroda, “Classes of languages and linear-bounded automata”, Information and Control, 7(2), 1964, 207–223.

“Two way Finite Automata”

Cole Richard “Converting CFGs to CNF”

“Greibach Normal Form”

Seungjin Choi, “Context-Free Grammars: Normal Forms”

“Simplification of CFG”

“Backus-Naur Form”

Scott, Dana and Rabin, Michael “Finite Automata and Their Decision Problems”. IBM Journal of Research and Development 3(2), 1959, 114–125.

Ogden, W. “A helpful result for proving inherent ambiguity”. Mathematical Systems Theory 2(3), 1968, 191–194.

“Ogden’s Lemma”

Helmbold David, “Example of Converting a PDA into a CFG”,

Church, Alonzo, “An Unsolvable Problem of Elementary Number Theory”. American Journal of Mathematics 58(58), 1936, 345–363.

Church, Alonzo, The Calculi of Lambda-Conversion. Princeton: Princeton University Press, 1941.

E. Horowitz and Shani, “Fundamentals of Computer Algorithms” Galgotia Publication.

Weiss, Weiss Mark Allen, “Data Structures And Algorithm Analysis In C++, 3/E”, Pearson Education.

Puntambekar A. A, “Principle of Compiler Design”, Technical Publication, Pune.

Robin Hunter, “The Essence of Compiler Design”, Pearson Education.