CS3452 - Theory of Computation
20 videos • 114 views • by Rohini CSE Tech Talk (RCTT)
1
INTRODUCTION TO FORMAL PROOF & ADDITIONAL FORMS OF PROOF
Rohini CSE Tech Talk (RCTT)
Download
2
Finite Automata
Rohini CSE Tech Talk (RCTT)
Download
3
DFA
Rohini CSE Tech Talk (RCTT)
Download
4
NFA
Rohini CSE Tech Talk (RCTT)
Download
5
FINITE AUTOMATA WITH EPSILON TRANSITION
Rohini CSE Tech Talk (RCTT)
Download
6
REGULAR EXPRESSION
Rohini CSE Tech Talk (RCTT)
Download
7
CONVERSION OF RE TO FA
Rohini CSE Tech Talk (RCTT)
Download
8
CLOSURE PROPERTIES OF REGULAR LANGUAGES
Rohini CSE Tech Talk (RCTT)
Download
9
CFG
Rohini CSE Tech Talk (RCTT)
Download
10
DERIVATION AND PARSE TREE
Rohini CSE Tech Talk (RCTT)
Download
11
AMBIGUITY IN GRAMMAR
Rohini CSE Tech Talk (RCTT)
Download
12
PUSHDOWN AUTOMATA
Rohini CSE Tech Talk (RCTT)
Download
13
LANGUAGES OF PDA
Rohini CSE Tech Talk (RCTT)
Download
14
EQUIVALENCE OF PDA AND CFG
Rohini CSE Tech Talk (RCTT)
Download
15
NORMAL FORMS FOR CFG
Rohini CSE Tech Talk (RCTT)
Download
16
PUMPING LEMMA FOR CFL
Rohini CSE Tech Talk (RCTT)
Download
17
CLOSURE PROPERTIES OF CFL
Rohini CSE Tech Talk (RCTT)
Download
18
TURING MACHINE
Rohini CSE Tech Talk (RCTT)
Download
19
RECURSIVE ENUMERABLE LANGUAGES
Rohini CSE Tech Talk (RCTT)
Download
20
PCP
Rohini CSE Tech Talk (RCTT)
Download