27.12.2014 Views

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

SHOW MORE
SHOW LESS

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.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!