Theory of Computation (ITE1006)
Credits : 3
NOTE:
Course Objectives: • To introduce the mathematical foundations of computation • To develop mathematical proofs for computation and algorithms. • To prepare students in automation theory, formal languages, algorithms & logic
Module:1 Mathematical preliminaries
Introduction to TOC and Languages:
Sets and Relations:
Automata:
Grammar:
Module:3 Non- Deterministic Finite Automata(NFA)
NFA:
Difference btw NFA and DFA:
Conversion from NFA to DFA:
Finite Automata with Epsilon transitions:
Limitations of DFA and Applications of DFA:
Moore Machine:
Mealy Machine:
Moore Machine to Mealy machine:
Mealy Machine to Moore machine:
Module:7 Turing machine(TM)
Turing Machine:
Types of Turing Machines:
# TOC Lec 50 - Variants of Turing machine by Deeba Kannan
Multi tape turning Machine:
TOC: Multitape Turing Machine by neso academy
Designing of turning Machines:
and
Linear Bounded Automata:
Undecidabilty:
Recursive vs Recursive Enumerable Languages:
Decidability and Undecidability:
The Halting Problem:
Undecidability of the Halting Problem:
The Post Correspondence Problem:
Undecidability of the Post Correspondence Problem:
Chomsky hierarchy of languages:
or
P.S.: For lectures in English, Follow Neso Academy's Playlist and for Hindi Lectures, follow Gate Smasher's Playlist of TOC