SCSE321
SCSE321
SCSE321
CODE
COURSE
TITLE
AUTOMATA THEORY
WEIGHTAGES
CA
CREDITS
(or Max. Marks)
MTE
ETE
Attd.
AT
Th
Th
20
25
50
COURSE OBJECTIVES:
The theory of computation is the branch of computer science that deals with whether and how efficiently
problems can be solved on a computer. In order to perform a rigorous study of computation, computer scientists
work with a mathematical abstractions of computer The purpose of this course is to impart concepts of Theory
of Computation.
PRE-REQUISITES:
CSE204: Fundamental of Data Structure
CSE205: Data Structure
CSE2050: Data Structure
CSE255: Data Structure & Algorithms
or
or
or
COURSE CONTENTS:
S. No.
1
Description
Automata: Definition and description and transition mode.
NFA and DFA, Mealy and Moore machine, Minimization of Automata.
Linear Grammars and regular Languages. Regular Expressions, Context Sensitive Language .
4
5
Construction of Finite Automata equivalent to Regular expression & vice versa, Pumping
Lemma for regular sets & its applications.
Context Free languages: Derivation trees, Ambiguity in Context free grammars.
MTE
Simplification of context free grammars, The Chomsky & Griebach Normal Forms.The Kuroda
Normal Form, One sided Context Sensitive Grammars, Unrestricted Languages:
Automata and their Languages: Finite Pushdown 2-push down Automata and Turing Machines
10
TEXT BOOKS:
1. K.L.P Mishra & N. Chandrasekran, Theory of Computer Science :Automata, languages & Computation,
PHI.
OTHER READINGS:
1.
2.
3.
4.
5.
Hopcroft, Motwani ,Ullman, Introducation to Automata Theory, languages, & computation, Pearson.
John C Martin, Introduction to languages & the Theory of Computation , TMG .
G. E. Reevsz, Introduction to Formal Languages, McGraw Hill 1983.
M. H. Harrison, Formal Language Theory Addison Wesley 1978.
Wolfman Theory and Applications of Cellular Automata, World Scientists, Singapore.