B.Tech(CS) 3rd to 8th Sem - MDU, Rohtak
B.Tech(CS) 3rd to 8th Sem - MDU, Rohtak
B.Tech(CS) 3rd to 8th Sem - MDU, Rohtak
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
<strong>CS</strong>E-206 E<br />
THEORY OF AUTOMATA COMPUTATION<br />
L T P Class Work: 50<br />
3 1 - Exam: 100<br />
Total: 150<br />
Duration of Exam: 3 Hrs.<br />
Unit-1: Finite Au<strong>to</strong>mata and Regular Expressions: Finite State Systems, Basic Definitions Non-<br />
Deterministic finite au<strong>to</strong>mata (NDFA), Deterministic finite au<strong>to</strong>mata (DFA), Equivalence of DFA and<br />
NDFA Finite au<strong>to</strong>mata with E-moves, Regular Expressions, Equivalence of finite au<strong>to</strong>mata and<br />
Regular Expressions, Regular expression conversion and vice versa.<br />
Unit-2: Introduction <strong>to</strong> Machines: Concept of basic Machine, Properties and limitations of FSM.<br />
Moore and mealy Machines, Equivalence of Moore and Mealy machines, Conversion of NFA <strong>to</strong> DFA<br />
by Arden’s Method.<br />
Unit-3: Properties of Regular Sets: The Pumping Lemma for Regular Sets, Applications of the<br />
pumping lemma, Closure properties of regular sets, Myhill-Nerode Theorem and minimization of<br />
finite Au<strong>to</strong>mata, Minimization Algorithm.<br />
Unit-4: Grammars: Definition, Context free and Context sensitive grammar, Ambiguity regular<br />
grammar, Reduced forms, Removal of useless Symbols and unit production, Chomsky Normal Form<br />
(CNF), Griebach Normal Form (GNF).<br />
Unit-5: Pushdown Au<strong>to</strong>mata: Introduction <strong>to</strong> Pushdown Machines, Application of Pushdown<br />
Machines<br />
Unit-6: Turing Machines: Deterministic and Non-Deterministic Turing Machines, Design of T.M,<br />
Halting problem of T.M., PCP Problem.<br />
Unit-7: Chomsky Hierarchies: Chomsky hierarchies of grammars, Unrestricted grammars, Context<br />
sensitive languages, Relation between languages of classes.<br />
Unit-8: Computability: Basic concepts, Primitive Recursive Functions.<br />
Text Book:<br />
Introduction <strong>to</strong> au<strong>to</strong>mata theory, language & computations- Hopcroaft & O.D.Ullman, R<br />
Mothwani, 2001, AW<br />
Reference Books:<br />
<br />
<br />
<br />
<br />
<br />
Theory of Computer Sc.(Au<strong>to</strong>mata, Languages and computation):K.L.P.Mishra &<br />
N.Chandrasekaran, 2000, PHI.<br />
Introduction <strong>to</strong> formal Languages & Au<strong>to</strong>mata-Peter Linz, 2001, Narosa Publ..<br />
Fundamentals of the Theory of Computation- Principles and Practice by RamondGreenlaw<br />
and H. James Hoover, 1998, Harcourt India Pvt. Ltd..<br />
Elements of theory of Computation by H.R. Lewis & C.H. Papaditriou, 1998, PHI.<br />
Introduction <strong>to</strong> languages and the Theory of Computation by John C. Martin 2003, T.M.H.<br />
Note:<br />
Eight questions will be set in all by the examiners taking at least one question<br />
from each unit. Students will be required <strong>to</strong> attempt five questions in all.