The document outlines a course on Theory of Automata and Formal Languages. The course aims to develop an appreciation of the theoretical foundations of computer science through studying mathematical models of computation. Topics covered include regular expressions, finite automata, context-free grammars, pushdown automata, Turing machines, and the Chomsky hierarchy of formal languages. The course has 3 lecture hours and no lab hours, is worth 3 credit hours, and has prerequisites in discrete structures. Required textbooks are listed.
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
0 ratings0% found this document useful (0 votes)
166 views8 pages
Week 1 Adv Theory Comp
The document outlines a course on Theory of Automata and Formal Languages. The course aims to develop an appreciation of the theoretical foundations of computer science through studying mathematical models of computation. Topics covered include regular expressions, finite automata, context-free grammars, pushdown automata, Turing machines, and the Chomsky hierarchy of formal languages. The course has 3 lecture hours and no lab hours, is worth 3 credit hours, and has prerequisites in discrete structures. Required textbooks are listed.
Department of Computer Science & Information Technology 1
Advance Theory of Computation Assignment #1&2 from Introduction to Languages and The Theory of Computation Fourth Edition John C. Martin Institute of Business and Technology Developed by:Adnan Alam Khan([email protected]) Department of Computer Science & Information Technology 2
Course Name: Theory of Automata and Formal languages Course Structure: Lectures: 3 Labs: 0 Credit Hours: 3 Prerequisites: Discrete Structures Objectives: The course aims to develop an appreciation of the theoretical foundations of computer science through study of mathematical & abstract models of computers and the theory of formal languages. Theory of formal languages and use of various abstract machines as recognizers and parsing will be studied for identifying/validating the synthetic characteristics of programming languages. Some of the abstract machines shall also study as Transducers. Course Outline: Finite State Models: Language definitions preliminaries, Regular expressions/Regular languages, Finite automata (FAs), Transition graphs (TGs), NFAs, Kleenes theorem, Transducers (automata with output), Pumping lemma and non regular language Grammars and PDA: Context free grammars, Derivations, derivation trees and ambiguity, Simplifying CFLs , Normal form grammars and parsing, Decidability, Chomskys hierarchy of grammars Turing Machines Theory: Turing machines, Post machine, Variations on TM, TM encoding, Universal Turing Machine, Context sensitive Grammars, Defining Computers by TMs. Text Books/Reference Books: An Introduction to Formal Languages and Automata, By Peter Linz, 4 th edition, Jones & Bartlett Publishers, 2006 Theory of Automata, Formal Languages and Computation, By S. P. Eugene, Kavier, 2005, New Age Publishers, ISBN (10): 81-224-2334-5, ISBN (13) : 978-81-224-2334-1. John Hopcroft and Jeffrey Ullman, Introduction to Automata Theory, Languages, and Computation, 2 nd edition, 2001, Addison-Wesley. Introduction to Languages and the Theory of Computation, By John C. Martin3rd edition, 2002, McGraw-Hill Professional.
Institute of Business and Technology Developed by:Adnan Alam Khan([email protected]) Department of Computer Science & Information Technology 3
Institute of Business and Technology Developed by:Adnan Alam Khan([email protected]) Department of Computer Science & Information Technology 4
Institute of Business and Technology Developed by:Adnan Alam Khan([email protected]) Department of Computer Science & Information Technology 5
Institute of Business and Technology Developed by:Adnan Alam Khan([email protected]) Department of Computer Science & Information Technology 6
Institute of Business and Technology Developed by:Adnan Alam Khan([email protected]) Department of Computer Science & Information Technology 7
Institute of Business and Technology Developed by:Adnan Alam Khan([email protected]) Department of Computer Science & Information Technology 8