mhrd logo inflibnet logo ugc logo

Module Details

Course : Theory Of Automata, Formal Languages And Computation

Subject : Computer Science

No. of Modules : 52

Level : FACULTY,STUDENTS,UG

Source : SwayamPrabha;Channel-13

Back

Sr. No. Title Creator/Author E-Text Video URL Metadata
1 Recursive sets, recursively innumerable sets, encoding of tm, halting problem Prof. Kamala Krithivasan - - Click Here
2 Rice's theorem, linear bounded automata, properties of tm Prof. Kamala Krithivasan - - Click Here
3 Problems and instances, universal tm, decidablity Prof. Kamala Krithivasan - - Click Here
4 Fsa with output moore and melay machines Prof. Kamala Krithivasan - - Click Here
5 Post's correspondance problem Prof. Kamala Krithivasan - - Click Here
6 Pushdown automata Prof. Kamala Krithivasan - - Click Here
7 Minimization of dfsa Prof. Kamala Krithivasan - - Click Here
8 Removal of unit productions, chomsky normal form for cfg Prof.Kamala Krithivasan - - Click Here
9 Greibach normal form for cfg Prof.Kamala Krithivasan - - Click Here
10 Final state automata Prof.Kamala Krithivasan - - Click Here
11 Grammars and natural language processing Prof. Kamala Krithivasan - - Click Here
12 Non deterministic fsa with e(epsilon)- moves Prof. Kamala Krithivasan - - Click Here
13 Equivalence between fsa and type 3 grammars Prof. Kamala Krithivasan - - Click Here
14 Fsa with output moore and mealy machines Prof. Kamala Krithivasan - - Click Here
15 Regular expressions , regular expressions to nfsa Prof. Kamala Krithivasan - - Click Here
16 Pumping lemmas for regular sets and cfl Prof. Kamala Krithivasan - - Click Here
17 Dfsa to regular expressions Prof. Kamala Krithivasan - - Click Here
18 Problems and solutions-i Prof. Kamala Krithivasan - - Click Here
19 Myhill - nerode theorem Prof. Kamala Krithivasan - - Click Here
20 Minimization of dfsa Prof. Kamala Krithivasan - - Click Here
21 Recursive sets , recursively innumerable sets , encoding of tm , halting problem Prof. Kamala Krithivasan - - Click Here
22 Post's correspondence problems (contd), time and tape complexity ot tm Prof. Kamala Krithivasan - - Click Here
23 Rice's theorem , linear bounded automata , properties of tm Prof. Kamala Krithivasan - - Click Here
24 Problems and instances , universal tm , decidability Prof. Kamala Krithivasan - - Click Here
25 Generalized versions of turing machines Prof. Kamala Krithivasan - - Click Here
26 Np - complete problems , cook's theorem Prof. Kamala Krithivasan - - Click Here
27 Turing machine as a generating device Prof. Kamala Krithivasan - - Click Here
28 Post's correspondence problems Prof. Kamala Krithivasan - - Click Here
29 Np - complete problems (contd) Prof. Kamala Krithivasan - - Click Here
30 Removal of unit productions , chomsky normal form for cfg Prof. Kamala Krithivasan - - Click Here
31 Grammars and languages generated (contd) Prof. Kamala Krithivasan - - Click Here
32 Grammars and languages generated Prof. Kamala Krithivasan - - Click Here
33 Greibach normal form for cfg Prof. Kamala Krithivasan - - Click Here
34 Non deterministic fsa (contd) Prof. Kamala Krithivasan - - Click Here
35 Non deterministic fsa Prof. Kamala Krithivasan - - Click Here
36 Final state automata Prof. Kamala Krithivasan - - Click Here
37 Simplication of cfg Prof. Kamala Krithivasan - - Click Here
38 Ambiguity in cfg Prof. Kamala Krithivasan - - Click Here
39 Pushdown automata , equivalence between acceptance by empty store and acceptance by final state Prof. Kamala Krithivasan - - Click Here
40 Turing machine as acceptor , techniques for tm construction Prof. Kamala Krithivasan - - Click Here
41 Pushdown automata cfg to pda Prof. Kamala Krithivasan - - Click Here
42 Pushdown automata pda to cfg Prof. Kamala Krithivasan - - Click Here
43 Problems and solutions - iii Prof. Kamala Krithivasan - - Click Here
44 Problems and solutions-ii Prof. Kamala Krithivasan - - Click Here
45 Turing machines (contd) Prof. Kamala Krithivasan - - Click Here
46 Pushdown automata Prof. Kamala Krithivasan - - Click Here
47 Turing machines Prof. Kamala Krithivasan - - Click Here
48 Regulated rewriting Prof. Kamala Krithivasan - - Click Here
49 Membrane computing Prof. Kamala Krithivasan - - Click Here
50 Grammar systems Prof. Kamala Krithivasan - - Click Here
51 Dna computing Prof. Kamala Krithivasan - - Click Here
52 L - systems Prof. Kamala Krithivasan - - Click Here