Lovely Professional University, Punjab

Course Code

Course Title

Course Planner

CSE322

FORMAL LANGUAGES AND AUTOMATION

THEORY
Courses with numerical and conceptual focus

17442::Arun Malik

Course Category

Lectures

Tutorials Practicals Credits

3.0

0.0

0.0

TextBooks
Sr No

Title

Author

Edition

Year

Publisher Name

T-1

THEORY OF COMPUTER
SCIENCE: AUTOMATA,
LANGUAGES & COMPUTATION

K.L.P. MISHRA & N.

CHANDRASEKARAN

3rd

2012

PHI (PRETICE HALL INDIA)

Reference Books
Sr No

Title

Author

Edition

Year

Publisher Name

R-1

AUTOMATA, COMPUTABILITY
AND COMPLEXITY: THEORY
AND APPLICATIONS

ELAINE RICH

1st

2012

PEARSON

R-2

AN INTRODUCTION TO
AUTOMATA THEORY AND
FORMAL LANGUAGES.

ADESH K. PANDEY

2nd

2005

S K KATARIA AND SONS

R-3

INTRODUCTION TO THEORY OF SATINDER SINGH

AUTOMATA, FORMAL
CHAHAL, GULJEET
LANGUAGES AND
KAUR CHAHAL
COMPUTATION

2nd

2011

A.B.S.PUBLICATION, JALANDHAR

R-4

AN INTRODUCTIONTO FORMAL PETER LINZ

LANGUAGES AND AUTOMATA

3rd

2001

JONES AND BARTLETT PUBLISHERS, SUDBURY,

MASSACHUSETTS

Other Reading
Sr No

Journals articles as Compulsary reading (specific articles, complete reference)

OR-1

"Journal of Automata, Languages and Combinatorics", Otto-von-Guericke-Universitat Magdeburg, http://www.jalc.de , ,

OR-2

"Journal of Computer and System Sciences", http://www.sciencedirect.com/science/article/pii/S0022000002918556 , ,

OR-3

"An Introduction to formal languages and Automata", Peter Linz, Jones & Bartlett Learning, 2001 , ,

OR-4

"Theory of Automata, Formal Language and computation", S.P. Eugene Xavier, New Age Publication , ,

Relevant Websites
Sr No

(Web address) (only if relevant to the course)

Salient Features

RW-1

http://www.cis.upenn.edu/~matuszek/cit596-2012/Pages/cfg7.html

Sentential Forms

3.0

RW-2

http://theory.csail.mit.edu/

At MIT, there is broad range of TOC topics, including algorithms,

complexity theory, cryptography, distributed computing, computational
geometry, computational biology, and quantum computing. MIT has the
largest TOC research group in the world.

RW-3

http://www.princeton.edu/~achaney/tmve/wiki100k/docs/Recursively_enumerable_lang Recursive enumerable language

uage.html

RW-4

http://nptel.iitm.ac.in/courses/106106049

Online_Video Lectures, IIT Madras

RW-5

http://www.theoryofcomputations.com/

Illustrative Examples, Short Questions, Exercises, Assignments and

Question Banks on TOC.

RW-6

http://www.cs.rpi.edu/academics/courses/spring06/modcomp/

Lecture Slides from Rensselaer Polytechnic Institute (RPI). * Rensselaer

is America's oldest technological research university.

RW-7

http://www.cse.ohio-state.edu/~gurari/theory-bk/theory-bk.html

Ohio State University Link: Informative material on various topics

Audio Visual Aids

Sr No

(AV aids) (only if relevant to the course)

Salient Features

AV-1

http://www.cs.uiuc.edu/class/sp10/cs373/lectures/

Online Video Lectures, University of Illinois at Urbana-Champaign

AV-2

http://aduni.org/courses/theory/index.php?view=cw

Video Taped lectures based on undergraduate course study of Theory of

Computation at the Massachusetts Institute of Technology (MIT).

Software/Equipments/Databases
Sr No

(S/E/D) (only if relevant to the course)

Salient Features

SW-1

Visual Automata Simulator 1.2.2

A tool for simulating, visualizing and transforming finite state automata

and Turing Machines.

SW-2

http://en.wikipedia.org/wiki/Automata-based_programming

Web Link on various ways, to practically implement concepts of

TOC/Automata.

SW-3

dk.brics.automaton 1.11-8

This Java package contains a DFA/NFA (finite-state automata)

implementation with Unicode alphabet (UTF16) and support for the
standard regular expression operations (concatenation, union, Kleene star)
and a number of non-standard ones (intersection, complement, etc.)

Sr No

(VL) (only if relevant to the course)

Salient Features

VL-1

http://www.virlab.virginia.edu/VL/QCA_cells.htm

Virtual Lab from University of Virginia in Charlottesville, VA. In

computers of the future, transistors may be replaced by assemblies of
quantum dots called "Quantum-dot Cellular Automata" (QCA's).This
page describes how QCA's can store and move information.

VL-2

http://www.virlab.virginia.edu/VL/QCA_logic.htm

Virtual Lab from University of Virginia in Charlottesville, VA. Describes

how "Quantum-dot Cellular Automata" (QCA's) can be made into
MAJORITY, OR, AND, and INVERTER logic gates.

Virtual Labs

LTP week distribution: (LTP Weeks)

Weeks before MTE

Weeks After MTE

Spill Over

Detailed Plan For Lectures

Week
Lecture
Number Number

Broad Topic(Sub Topic)

Week 1

FINITE AUTOMATA
(Basics of Strings and
Alphabets)

R-3:Ch-1

FINITE AUTOMATA
(Deterministic and Nondeterministic Finite State
Machines)

T-1:Ch-3

Lecture 1

Chapters/Sections of Other Readings,

Text/reference
Relevant Websites,
books
Audio Visual Aids,
software and Virtual
Labs

FINITE AUTOMATA
(Definition and Description
of a Finite Automaton)

Lecture 2

Week 2

Lecture Description

Learning Outcomes Pedagogical Tool Live Examples

Demonstration/
Case Study /
Images /
animation / ppt
etc. Planned

Basic description of
Strings and Alphabets

Student will learn

about Strings and
Alphabets

Demonstration
with Power Point
Presentation

Switch Bulb

RW-4
SW-3

Basic description of
Finite state machines

Students will learn

Demonstration
the concepts of finite with Power Point
state machine and
Presentation
their implementation
in real life

Switch Bulb

RW-6

Lecture
Students will learn
Demonstration
Zero:Introduction about the concepts of finite with Power Point
the course
state machine and
Presentation
their implementation
in real life

Switch Bulb

FINITE AUTOMATA
(Transition Graph and
Properties of Transition
Functions)

T-1:Ch-3

SW-2

Basic description of
Transition graph and
properties of Transition
function

Student will learn

Demonstration
about the use of
with Power Point
transition function in Presentation
finite automata

Thermostats

FINITE AUTOMATA
(Acceptability of a String by
a Finite
Automaton)

T-1:Ch-3

SW-1

Working of finite
automata to accept a
string

Students will learn

whether a string is
acceptable or not
acceptable by finite
automata

Live
demonstration
using JFLAP
simulator

Transducers

Lecture 3

FINITE AUTOMATA(The
Equivalence of
Deterministic and Nondeterministic Finite
Automata)

T-1:Ch-3

AV-1

Relation between DFA

and NDFA

Students will learn

about the relation
between DFA and
NDFA

Numerical
Problem
Solving

Thermostats

Lecture 4

FINITE AUTOMATA
(Mealy and Moore
Machines)

T-1:Ch-3

Conversion of Mealy to Students learn how to Demonstration

Moore and Moore to
convert Mealy to
using JFLAP
Mealy machine
Moore and Moore to simulator
Mealy machine

Switch Bulb and

Elevators

Lecture 5

FINITE AUTOMATA
(Regular Languages)

R-2:Ch-4

Basic Description of
Regular languages

Switch Bulb

Students will learn

about the regular
languages

Demonstration
with Power Point
Presentation

Week 2

Week 3

Lecture 5

FINITE AUTOMATA
(Minimization of Finite
Automata)

T-1:Ch-3

Lecture 6

REGULAR EXPRESSIONS
AND REGULAR SETS
(Finite Automata and
Regular Expressions:
Transition System
Containing null moves)

T-1:Ch-5

REGULAR EXPRESSIONS
AND REGULAR SETS
(Regular Expressions and
Identities
for Regular Expressions)

T-1:Ch-5

REGULAR EXPRESSIONS
AND REGULAR SETS
(Conversion of
Non-deterministic Systems
to Deterministic Systems)

T-1:Ch-5

REGULAR EXPRESSIONS
AND REGULAR SETS
(Non-deterministic Finite
Automata with Null Moves
and Regular Expressions)
Lecture 8

Lecture 9

Lecture 7

OR-3

Step by Step procedure

to construct minimum
automaton

Students learn to
reduce
a Complex Finite
Automata

Numerical
Problem
Solving

Representation of
regular expression

Student will learn the Demonstration

relation between
with Power Point
Finite Automata and Presentation
Regular Expression

Compiler

RW-6

Basics of Regular
expressions

Students will become Demonstration

familiar about the
with Power Point
regular expression
Presentation

Finding Patterns
in text

RW-5

Construction of
Deterministic system
equivalent to nondeterministic system

Students learn the

relations between
deterministic and
non-deterministic
system

Finding patterns
in text

T-1:Ch-5

Recognition of Regular
expression by NDFA

Student will learn the Demonstration

relation between
using JFLAP
Non-deterministic
simulator
Finite Automata and
Regular Expressions

Finding patterns
in text

REGULAR EXPRESSIONS
AND REGULAR SETS
(Algebraic Methods using
Arden's Theorem)

T-1:Ch-5

Extension of Arden's
Theorem

Students will learn to Numerical

find the regular
Problem
expression
Solving
recognized by a
transition system

Finding patterns
in text

REGULAR EXPRESSIONS
AND REGULAR SETS
(Equivalence of Two Finite
Automata and Two Regular
Expressions)

T-1:Ch-5

Relation of Regular
Expression and Finite
Automata

Students undersatnd Numerical

the concept of
Problem Solving
equivalence between
regular expression
and finite automata
Lecture cum
demonstrations

Finding patterns
in text

REGULAR EXPRESSIONS
AND REGULAR SETS
(Closure Properties of
Regular Sets)

T-1:Ch-5

Description of various Student learn that

Demonstration
properties of regular set class of regular set is with Power Point
closed under
Presentation
union,concatenation
and closure

Finding patterns
in text

REGULAR EXPRESSIONS
AND REGULAR SETS
(Equivalence between
regular languages:
Construction of Finite
Automata Equivalent to a
Regular Expression)

T-1:Ch-5

Relation of Regular
Expression and Finite
Automata

Finding patterns
in text

Demonstration
with Power Point
Presentation

Students undersatnd Demonstration

the concept of
with JFLAP
equivalence between simulator
regular expression
and finite automata

Switch Bulb

Week 4

Lecture 10 REGULAR EXPRESSIONS

AND REGULAR SETS
(Pumping Lemma for
Regular Sets and its
Application)

T-1:Ch-5

Conditions for a string

to belong to regular sets
and application of
Pumping lemma

Lecture 11

Week 5

Week 6

Students will be able Demonstration

to test whether string using JFLAP
belong to regular set simulator
or not

Finding patterns
in text

Test1

Lecture 12 REGULAR EXPRESSIONS

AND REGULAR SETS
(Construction of Finite
Automata Equivalent to a
Regular
Expression)

T-1:Ch-5

Subset method

Student will learn the Demonstration

use of subset method using JFLAP
simulator

Finding patterns
in text

REGULAR EXPRESSIONS
AND REGULAR SETS
(Properties of Regular
Languages)

T-1:Ch-5

Various properties of
regular languages along
with its usage in
pumping lemma

Students learn the

Demonstration
concept of union
with Power Point
,intersection,iteration Presentation
in regular languages

Finding patterns
in text

Lecture 13 FORMAL LANGUAGES

AND REGULAR
GRAMMARS(Languages
Generated by a Grammar)

T-1:Ch-4

OR-1

Derivations and
Student will learn to
languages generated by derive a language
grammar
from a given
grammar

Demonstration
with Power Point
Presentation

Compiler

FORMAL LANGUAGES
AND REGULAR
GRAMMARS(Definition of
a Grammar)

T-1:Ch-4

Introduction to
Grammars and its
significance

Student will
understand the
significance of
grammar

Demonstration
using JFLAP
simulator

Compiler

Lecture 14 FORMAL LANGUAGES

AND REGULAR
GRAMMARS(Chomsky
Classification of Languages)

T-1:Ch-4

Classification of
Languages

Students learn about

various types of
Formal Languages

Demonstration
with Power Point
Presentation

Compiler

Lecture 15 FORMAL LANGUAGES

AND REGULAR
GRAMMARS(Recursive
and Recursively Enumerable
Sets)

T-1:Ch-4

Use of Recursive and

Students learn about
Recursively Enumerable the use of recursive
Languages in
set
undecidability

Demonstration
with Power Point
Presentation

Compiler

FORMAL LANGUAGES
AND REGULAR
GRAMMARS(REGULAR
GRAMMARS: Regular Sets
and Regular Grammars)

T-1:Ch-5

Description of regular
sets and regular
grammar

Students will learn

Demonstration
about regular sets and with Power Point
regular grammar
Presentation

Compiler

T-1:Ch-4

Relation between 4
Students learn the
Demonstration
types of
relationship between with Power Point
languages and automata TM,LBA,PDA and
Presentation
FA

Elevators

Lecture 16 FORMAL LANGUAGES

AND REGULAR
GRAMMARS(Languages
and Automata)

RW-3

Week 6

Week 7

Lecture 16 FORMAL LANGUAGES

AND REGULAR
GRAMMARS(Chomsky
hierarchy of Languages)

T-1:Ch-4

Hierarchy of Languages Students learn about

hierarchical
relationship of
various types of
formal
Languages

Lecture 17 FORMAL LANGUAGES

AND REGULAR
GRAMMARS(Converting
Regular Expressions to
Regular Grammars)

T-1:Ch-5

Construction of regular
grammar for a given
regular expression

Student will learn the Demonstration

relation between
with Power Point
regular grammar and Presentation
regular Expression

Compiler

Lecture 18 FORMAL LANGUAGES

AND REGULAR
GRAMMARS(Converting
Regular Grammars to
Regular Expressions)

T-1:Ch-5

Construction of a
Students will learn to Demonstration
regular expression for a derive a regular
with Power Point
given regular grammar expression from a
Presentation
regular grammar

Compiler

FORMAL LANGUAGES
AND REGULAR
GRAMMARS(Left Linear
and Right Linear Regular
Grammars)

R-4:Ch-3

Difference between Left

Linear
and
Right Linear Regular
Grammars

Finding patterns
in text

Lecture 19

Demonstration
with Power Point
Presentation

Students learn
Demonstration
to visualize
with Power Point
derivations in regular Presentation
languages

Test2

SPILL OVER
Week 7

Lecture 20

Spill Over

Lecture 21

Spill Over

MID-TERM
Week 8

Lecture 22 CONTEXT- FREE

LANGUAGES AND
SIMPLIFICATION OF
CONTEXT-FREE
GRAMMAR(Leftmost and
Rightmost derivations)

T-1:Ch-6

AV-1

Different ways of
deriving a grammar

Students will learn

Demonstration
about
with Power Point
the difference
Presentation
between left and right
derivation of
grammar

CONTEXT- FREE
LANGUAGES AND
SIMPLIFICATION OF
CONTEXT-FREE
GRAMMAR(Context-Free
Languages and Derivation
Trees)

T-1:Ch-6

AV-2

Introduction of context
free grammar

Students will learn to Demonstration

visualize derivations with Power Point
of Context Free
Presentation
Grammar

RW-1

Sentential forms of
context free grammar

Students will learn

Demonstration
the importance of
with Power Point
sentential forms and Presentation
its derivation

Lecture 23 CONTEXT- FREE

LANGUAGES AND
SIMPLIFICATION OF
CONTEXT-FREE
GRAMMAR(Sentential
forms)

compiler

Week 8

Lecture 23 CONTEXT- FREE

LANGUAGES AND
SIMPLIFICATION OF
CONTEXT-FREE
GRAMMAR(Applications
of Context Free Grammar)
CONTEXT- FREE
LANGUAGES AND
SIMPLIFICATION OF
CONTEXT-FREE
GRAMMAR(Language of a
Context Free Grammar)

Week 9

T-1:Ch-6

T-1:Ch-6

OR-2

Applications of context
free grammar

Students learn about

real life examples of
Context Free
Grammars

Demonstration
with Power Point
Presentation

Description of the
languages
generated corresponding
to a particular grammar

Student will learn the Demonstration

construction of
with Power Point
languages
Presentation
corresponding to a
particular grammar

Lecture 24 CONTEXT- FREE

LANGUAGES AND
SIMPLIFICATION OF
CONTEXT-FREE
GRAMMAR(Pumping
Lemma for Context Free
Grammar)

T-1:Ch-6

Rules of Pumping
Student learn to test Demonstration
lemma for Context free whether the language using JFLAP
languages and
is context free or not simulator
applications of pumping
lemma

Lecture 25 CONTEXT- FREE

LANGUAGES AND
SIMPLIFICATION OF
CONTEXT-FREE
GRAMMAR(Pumping
Lemma for Context Free
Grammar)

T-1:Ch-6

Rules of Pumping
Student learn to test Demonstration
lemma for Context free whether the language using JFLAP
languages and
is context free or not simulator
applications of pumping
lemma

Lecture 26 CONTEXT- FREE

LANGUAGES AND
SIMPLIFICATION OF
CONTEXT-FREE
GRAMMAR(Ambiguity in
Context Free Grammar)

T-1:Ch-6

Procedure of finding the Students learn to

ambiguity in context
check whether the
free grammar
grammar is
ambiguous or not

Lecture 27 CONTEXT- FREE

LANGUAGES AND
SIMPLIFICATION OF
CONTEXT-FREE
GRAMMAR(Elimination of
null and unit productions)

T-1:Ch-6

Method to eliminate null Student will learn the Numerical

and unit production
concept of reduction Problem
of grammars.
Solving

T-1:Ch-6

Different ways to reduce Student will learn the Numerical

Context Free Grammar methods to simplify Problem
context free grammar Solving

CONTEXT- FREE
LANGUAGES AND
SIMPLIFICATION OF
CONTEXT-FREE
GRAMMAR(Construction
of Reduced Grammars)

Numerical
Problem
Solving

Parser Design

Week 10 Lecture 28 CONTEXT- FREE

LANGUAGES AND
SIMPLIFICATION OF
CONTEXT-FREE
GRAMMAR(Normal Forms
for Context Free Grammar Chomsky Normal Form,
Greibach Normal Form)

T-1:Ch-6

RW-6

Description of various
types of normal forms
for context free
grammars

Student learn to
reduce the Context
free grammars into
CNF and GNF

Numerical
Problem
Solving

Lecture 29 CONTEXT- FREE

LANGUAGES AND
SIMPLIFICATION OF
CONTEXT-FREE
GRAMMAR(Normal Forms
for Context Free Grammar Chomsky Normal Form,
Greibach Normal Form)

T-1:Ch-6

RW-6

Description of various
types of normal forms
for context free
grammars

Student learn to
reduce the Context
free grammars into
CNF and GNF

Numerical
Problem
Solving

Lecture 30 PUSHDOWN AUTOMATA

AND PARSING
(Description and Model of
Pushdown Automata)

T-1:Ch-7

PUSHDOWN AUTOMATA
AND PARSING
(Representation of
Pushdown Automata)

T-1:Ch-7

RW-4

Method to Represent
Push Down Automata

Week 11 Lecture 31 PUSHDOWN AUTOMATA

AND PARSING
(Acceptance by Pushdown
Automata)

T-1:Ch-7

OR-4

Types of acceptance by Students learn to

Demonstration
Pushdown Automata
check whether a input with Power Point
string is acceptable
Presentation
by PDA or not

Lecture 32 PUSHDOWN AUTOMATA

AND PARSING(Pushdown
Automata and Context-Free
Languages)

T-1:Ch-7

Conversion of Context Student learn the

Demonstration
free grammar into Push relationship between with Power Point
down Automata
Push Down Automata Presentation
and
Context Free
Languages

PUSHDOWN AUTOMATA
AND PARSING(Context
free languages and
Pushdown Automata)

T-1:Ch-7

Conversion of Push
Down Automata into
Context Free grammar

Student learn the

Demonstration
relationship between with Power Point
CFL and PDA
Presentation

PUSHDOWN AUTOMATA
AND PARSING(Pushdown
Automata: Deterministic
Pushdown Automata and
non-deterministic Pushdown
Automata)

T-1:Ch-7

Types of push down

automata

Student learn the

difference between
Deterministic PDA
and NonDeterministic PDA

Lecture 33

Description and model Student learn the

Demonstration
of Push Down Automata basics of
with Power Point
Push Down Automata Presentation

Test3

Vending
machine

Students learn the

Demonstration
Basics of
using JFLAP
Push Down Automata simulator

Demonstration
with Power Point
Presentation

Vending
machine

Week 12 Lecture 34 PUSHDOWN AUTOMATA

AND PARSING
(Comparison of
deterministic and nondeterministic versions)

R-1:Ch-12

Description about
Comparison of
deterministic and
non-deterministic
versions

Student learn the

difference between
deterministic and
non-deterministic
versions

Demonstration
with Power Point
Presentation

PUSHDOWN AUTOMATA
AND PARSING(closure
properties)

R-1:Ch-13

Description of the
closure
properties of CNF

Student learn the

closure
properties of CNF

Demonstration
with Power Point
Presentation

Lecture 35 PUSHDOWN AUTOMATA

AND PARSING(PARSING:
Top-Down and Bottom-Up
Parsing)

T-1:Ch-7

Basics of Top down and Student learn the

Bottom up parsing
difference between
Top down
and Bottom up
Parsing

PUSHDOWN AUTOMATA
AND PARSING(LL (k)
Grammars and its
Properties)

T-1:Ch-7

Basics of LL(k) in
Parsing

Student will learn the Demonstration

Purpose of LL(k) in with Power Point
Parsing
Presentation

PUSHDOWN AUTOMATA
AND PARSING(LR(k)
Grammars and its
Properties)

T-1:Ch-8

Basics of LR(k) in
Parsing

Student will learn the Demonstration

Purpose of LR(k) in with Power Point
Parsing
Presentation

Lecture 36 TURING MACHINES AND

COMPLEXITY
(Representation of Turing
Machines)

T-1:Ch-9

Various ways to
represent Turing
Machines

Students will learn

the basics of Turing
Machines

Demonstration
with Power Point
Presentation

Digital
computers

TURING MACHINES AND

COMPLEXITY(Turing
Machine Model)

T-1:Ch-9

Description of Turing
machine

Students will learn

the
basics of Turing
Machines

Demonstration
using JFLAP
simulator

Digital
Computers

Week 13 Lecture 37 TURING MACHINES AND

COMPLEXITY(Design of
Turing Machines)

T-1:Ch-9

Methods of
designing Turing
Machines

Students learn to
design and
construct
Turing Machines

Demonstration
using JFLAP
simulator

Digital
Computers

Lecture 38 TURING MACHINES AND

COMPLEXITY(Power of
Linear Bounded Automaton)

T-1:Ch-9

Basics of
Linear Bounded
Automaton

Students learn the

Demonstration
importance of Linear with Power Point
Bounded Automaton Presentation

TURING MACHINES AND

COMPLEXITY(The Model
of Linear Bounded
Automaton)

T-1:Ch-9

Description of Model of Students learn the

Demonstration
Linear Bounded
need of
with Power Point
Automaton
Model of Linear
Presentation
Bounded Automaton

TURING MACHINES AND

COMPLEXITY(NonDeterministic Turing
Machines)

T-1:Ch-9

Description of Non
Deterministic Turing
Machines

AV-1

VL-1
VL-2

Demonstration
with Power Point
Presentation

Students Learn the

Demonstration
importance of
with Power Point
Non
Presentation
Deterministic Turing
Machines

Week 13 Lecture 39 TURING MACHINES AND

COMPLEXITY(Halting
Problem of Turing Machine)

T-1:Ch-10

TURING MACHINES AND

COMPLEXITY(Post
Correspondence Problem)

AV-2

Description of Halting
Problem

Students learn the

reduction technique
used to prove the
undecidability in
Turing Machine

Demonstration
with Power Point
Presentation

T-1:Ch-10

Description of
Undecidable decision
problems

Students learn about

proofs of
undecidability

Demonstration
with Power Point
Presentation

Week 14 Lecture 40 TURING MACHINES AND

COMPLEXITY(Basic
Concepts of Computability)

T-1:Ch-11

Basics of
Computability

Students learn
the use of
computability

Demonstration
with Power Point
Presentation

TURING MACHINES AND

COMPLEXITY(Decidable
and Undecidable languages)

T-1:Ch-10

RW-7

Description of
Decidable and
Undecidable languages

Student learn the

difference between
Decidable and
Undecidable
languages

Demonstration
with Power Point
Presentation

RW-2

Types of Complexity

Students learn about

variants
of Complexity

Demonstration
with Power Point
Presentation

TURING MACHINES AND

COMPLEXITY
(Computational Complexity:
Measuring Time & Space
Complexity)

SPILL OVER
Week 14 Lecture 41

Spill Over

Lecture 42

Spill Over

Week 15 Lecture 43

Spill Over

Lecture 44

Spill Over

Lecture 45

Spill Over

Scheme for CA:

Component
Test

Frequency

Out Of
2

3
Total :-

Details of Academic Task(s)

Each Marks Total Marks

10

20

10

20

AT No.

Objective

Topic of the Academic Task

Nature of Academic Task

(group/individuals/field
work

Evaluation Mode

Allottment /
submission Week

Test1

To test the
Test 1- will be covering the syllabus from lecture 1 to lecture
understanding level 9.All questions of 5 marks each or in multiples of 5
of the students for
the topics covered in
class as mentioned
in IP.

Individual

Evaluation of test
would be based on
Step by step
execution of
attempted questions.

3/4

Test2

To check the
Test 2- will be covering syllabus from lecture 10 to lecture 18.All Individual
abilities of the
questions of 5 marks each or in multiples of 5
students to attempt
questions before
MTE based on the
topics covered as per
IP.

Step by step
evaluation of
questions attempted
by students.

6/7

Test3

To test the
Test 3- will be covering syllabus from lecture 22 to lecture 32.All Individual
understanding level questions of 5 marks each or in multiples of 5
of the students for
topics covered as
mentioned in detail.

Step by step
evaluation of
attempted questions.

10 / 11