Why we study LMC: Automata Theory and Formal Languages
1. Why we study LMC?
by
G BHARATH KUMAR
Assistant Professor
Department of Computer Science & Engineering
2. LMC also called as
• Automata Theory and Formal Languages (ATFL)
• Formal Languages and Automata Theory (FLAT)
• Theory of Computation (TOC)
3. Why?
• Reason1:For a computer scientist, it is necessary to study computability (to know what is computable),
formal language (to design languages to write instructions for machines) and automation theory (to design
computing machines).
• Reason2:As students of computer science, we should know what is computable, and if it is computable,
how it can be implemented on a machine.