Theory of Automata
194 videos • 37,751 views • by Akhilesh Kumar Srivastava
1
TAFL Exam Preparation Strategy || Important Topics & Important Questions
Akhilesh Kumar Srivastava
Download
2
Prerequisites for Theory of Automata (TAFL) | Lecture 1
Akhilesh Kumar Srivastava
Download
3
Finite State Machine || Deterministic Finite Automata (DFA) || Lecture 2
Akhilesh Kumar Srivastava
Download
4
Deterministic Finite Automata (DFA) - Example 1
Akhilesh Kumar Srivastava
Download
5
Deterministic Finite Automata (DFA) - Example 2
Akhilesh Kumar Srivastava
Download
6
Deterministic Finite Automata (DFA) - Example 3
Akhilesh Kumar Srivastava
Download
7
Deterministic Finite Automata (DFA) - Example 4
Akhilesh Kumar Srivastava
Download
8
Deterministic Finite Automata (DFA) - Example 5
Akhilesh Kumar Srivastava
Download
9
Deterministic Finite Automata (DFA) - Example 6
Akhilesh Kumar Srivastava
Download
10
Deterministic Finite Automata (DFA) - Example 7
Akhilesh Kumar Srivastava
Download
11
Deterministic Finite Automata (DFA) - Example 8
Akhilesh Kumar Srivastava
Download
12
Deterministic Finite Automata (DFA) - Example 9
Akhilesh Kumar Srivastava
Download
13
Deterministic Finite Automata (DFA) - Example 10
Akhilesh Kumar Srivastava
Download
14
Deterministic Finite Automata (DFA) - Example 11
Akhilesh Kumar Srivastava
Download
15
Deterministic Finite Automata (DFA) - Example 12
Akhilesh Kumar Srivastava
Download
16
Deterministic Finite Automata (DFA) - Example 13 || Complementation of Regular Language
Akhilesh Kumar Srivastava
Download
17
Deterministic Finite Automata (DFA) - Example 14 || Complementation of Regular Language
Akhilesh Kumar Srivastava
Download
18
Deterministic Finite Automata (DFA) - Example 15 || Concatenation of Regular Languages
Akhilesh Kumar Srivastava
Download
19
Deterministic Finite Automata (DFA) - Example 16 || Union of Regular Languages
Akhilesh Kumar Srivastava
Download
20
Deterministic Finite Automata (DFA) - Example 17 || Complementation of Regular Language
Akhilesh Kumar Srivastava
Download
21
Deterministic Finite Automata (DFA) - Example 18 || Cross Product of states
Akhilesh Kumar Srivastava
Download
22
Deterministic Finite Automata (DFA) - Example 19 || Cross Product of States
Akhilesh Kumar Srivastava
Download
23
Regular Languages and Closure Properties
Akhilesh Kumar Srivastava
Download
24
NFA - Non Deterministic Finite Automata - Definition, Example
Akhilesh Kumar Srivastava
Download
25
NFA - Non Deterministic Finite Automata - Example-1
Akhilesh Kumar Srivastava
Download
26
NFA - Non Deterministic Finite Automata - Example-2
Akhilesh Kumar Srivastava
Download
27
NFA to DFA Conversion (Example 1)
Akhilesh Kumar Srivastava
Download
28
NFA to DFA Conversion (Example 2)
Akhilesh Kumar Srivastava
Download
29
NFA to DFA Conversion (Example 3)
Akhilesh Kumar Srivastava
Download
30
NFA to DFA Conversion (Example 4)
Akhilesh Kumar Srivastava
Download
31
NFA to DFA Conversion (Example 5)
Akhilesh Kumar Srivastava
Download
32
NFA to DFA Conversion (Example 6)
Akhilesh Kumar Srivastava
Download
33
NFA to DFA Conversion (Example 7)
Akhilesh Kumar Srivastava
Download
34
DFA State Minimization - Example 1
Akhilesh Kumar Srivastava
Download
35
DFA State Minimization - Example 2
Akhilesh Kumar Srivastava
Download
36
DFA State Minimization - Example 3
Akhilesh Kumar Srivastava
Download
37
DFA State Minimization - Example 4
Akhilesh Kumar Srivastava
Download
38
Myhill-Nerode Theorem - DFA State Minimization - Example 1
Akhilesh Kumar Srivastava
Download
39
Myhill-Nerode Theorem - DFA State Minimization - Example 2
Akhilesh Kumar Srivastava
Download
40
Epsilon NFA | Conversion of Epsilon NFA to NFA (Example 1)
Akhilesh Kumar Srivastava
Download
41
Epsilon NFA | Conversion of Epsilon NFA to NFA (Example 2)
Akhilesh Kumar Srivastava
Download
42
Epsilon NFA | Conversion of Epsilon NFA to NFA (Example 3)
Akhilesh Kumar Srivastava
Download
43
Epsilon NFA to DFA - AKTU Exam 2016-17
Akhilesh Kumar Srivastava
Download
44
Epsilon NFA to DFA - AKTU Exam 2018-19
Akhilesh Kumar Srivastava
Download
45
Epsilon NFA to DFA - AKTU Exam 2022-23
Akhilesh Kumar Srivastava
Download
46
Finite State Machines with Output | Mealy Machine, Moore Machine
Akhilesh Kumar Srivastava
Download
47
Moore Machine | Finite Automata with Output | Example 1
Akhilesh Kumar Srivastava
Download
48
Moore Machine | Finite Automata with Output | Example 2
Akhilesh Kumar Srivastava
Download
49
Moore Machine | Finite Automata with Output | Example 3
Akhilesh Kumar Srivastava
Download
50
Moore Machine | Finite Automata with Output | Example 4
Akhilesh Kumar Srivastava
Download
51
Mealy Machine | Finite Automata with Output | Example 1
Akhilesh Kumar Srivastava
Download
52
Mealy Machine | Finite Automata with Output | Example 2
Akhilesh Kumar Srivastava
Download
53
Mealy Machine | Finite Automata with Output | Example 3
Akhilesh Kumar Srivastava
Download
54
Moore Machine to Mealy Machine Conversion - Example 1
Akhilesh Kumar Srivastava
Download
55
Moore Machine to Mealy Machine Conversion - Example 2
Akhilesh Kumar Srivastava
Download
56
Moore Machine to Mealy Machine Conversion - Example 3
Akhilesh Kumar Srivastava
Download
57
Moore Machine to Mealy Machine Conversion - Example 4
Akhilesh Kumar Srivastava
Download
58
Mealy Machine to Moore Machine Conversion - Example 1
Akhilesh Kumar Srivastava
Download
59
Mealy Machine to Moore Machine Conversion - Example 2
Akhilesh Kumar Srivastava
Download
60
Mealy Machine to Moore Machine Conversion - Example 3
Akhilesh Kumar Srivastava
Download
61
Mealy Machine to Moore Machine Conversion - Example 4
Akhilesh Kumar Srivastava
Download
62
Mealy Machine to Moore Machine Conversion - AKTU 2017-18
Akhilesh Kumar Srivastava
Download
63
Equivalence of Finite Automata - Example 1
Akhilesh Kumar Srivastava
Download
64
Equivalence of Finite Automata - Example 2
Akhilesh Kumar Srivastava
Download
65
Equivalence of Finite Automata - Example 3 (AKTU 2016-17)
Akhilesh Kumar Srivastava
Download
66
Arden's Theorem in Regular Expression
Akhilesh Kumar Srivastava
Download
67
Finite Automata to Regular Expression - Example 1
Akhilesh Kumar Srivastava
Download
68
Finite Automata to Regular Expression - Example 2
Akhilesh Kumar Srivastava
Download
69
Finite Automata to Regular Expression - Example 3
Akhilesh Kumar Srivastava
Download
70
Finite Automata to Regular Expression - Example 4
Akhilesh Kumar Srivastava
Download
71
Finite Automata to Regular Expression - AKTU 2022-23 Exam Question
Akhilesh Kumar Srivastava
Download
72
Finite Automata to Regular Expression - AKTU 2018-19 Exam Question
Akhilesh Kumar Srivastava
Download
73
Designing Regular Expression for Language - Part 1
Akhilesh Kumar Srivastava
Download
74
Designing Regular Expression for Language - Part 2
Akhilesh Kumar Srivastava
Download
75
Designing Regular Expression for Language - Part 3
Akhilesh Kumar Srivastava
Download
76
Identities of Regular Expression
Akhilesh Kumar Srivastava
Download
77
Numerical based on Regular Expression identities - Example 1
Akhilesh Kumar Srivastava
Download
78
Numerical based on Regular Expression identities - Example 2
Akhilesh Kumar Srivastava
Download
79
Numerical based on Regular Expression identities - Example 3
Akhilesh Kumar Srivastava
Download
80
Regular Expression to Finite Automata - Part 1/6
Akhilesh Kumar Srivastava
Download
81
Regular Expression to Finite Automata - Part 2/6
Akhilesh Kumar Srivastava
Download
82
Regular Expression to Finite Automata - Part 3/6
Akhilesh Kumar Srivastava
Download
83
Regular Expression to Finite Automata - Part 5/6
Akhilesh Kumar Srivastava
Download
84
Regular Expression to Finite Automata - Part 4/6
Akhilesh Kumar Srivastava
Download
85
Regular Expression to Finite Automata - Part 6/6
Akhilesh Kumar Srivastava
Download
86
Finite Automata to Regular Expression - State Elimination Method - Example 1
Akhilesh Kumar Srivastava
Download
87
Finite Automata to Regular Expression - State Elimination Method - Example 2
Akhilesh Kumar Srivastava
Download
88
Finite Automata to Regular Expression - State Elimination Method - Example 3
Akhilesh Kumar Srivastava
Download
89
Finite Automata to Regular Expression - State Elimination Method - Example 4
Akhilesh Kumar Srivastava
Download
90
Finite Automata to Regular Expression - State Elimination Method - Example 5
Akhilesh Kumar Srivastava
Download
91
Types of Grammar || Type 0, Type 1, Type 2, Type3 Grammar || Lecture 1 of 3
Akhilesh Kumar Srivastava
Download
92
Expressive Power of Grammar/Automata || Type 0, Type 1, Type 2, Type 3 Grammar || Lecture 2 of 3
Akhilesh Kumar Srivastava
Download
93
Identification of Type of Grammar || Type 0, Type 1, Type 2, Type3 Grammar || Lecture 3 of 3
Akhilesh Kumar Srivastava
Download
94
Removal of Left Recursion from Grammar
Akhilesh Kumar Srivastava
Download
95
Left Factoring of Grammar || Deterministic and Non Deterministic Grammar
Akhilesh Kumar Srivastava
Download
96
Building Grammar from Language
Akhilesh Kumar Srivastava
Download
97
Ambiguous Grammar, Removal of Ambiguity
Akhilesh Kumar Srivastava
Download
98
Simplification of Context Free Grammar (CFG) - Example 1
Akhilesh Kumar Srivastava
Download
99
Simplification of Context Free Grammar (CFG) - Example 2
Akhilesh Kumar Srivastava
Download
100
Simplification of Context Free Grammar (CFG) - Example 3
Akhilesh Kumar Srivastava
Download
101
Simplification of Context Free Grammar (CFG) - Example 4
Akhilesh Kumar Srivastava
Download
102
Simplification of Context Free Grammar (CFG) - Example 5
Akhilesh Kumar Srivastava
Download
103
Simplification of Context Free Grammar (CFG) - Example 6
Akhilesh Kumar Srivastava
Download
104
Pumping Lemma || Check of Non Regular Language || Concept and Examples
Akhilesh Kumar Srivastava
Download
105
Pumping Lemma || Check of Non Regular Language || Example 2 (AKTU 2021-22)
Akhilesh Kumar Srivastava
Download
106
Pumping Lemma || Check of Non Regular Language || Example 3 (AKTU 2017-18)
Akhilesh Kumar Srivastava
Download
107
Pumping Lemma || Check of Non Regular Language || Example 4
Akhilesh Kumar Srivastava
Download
108
Simplification of Context Free Grammar (CFG) - Example 7
Akhilesh Kumar Srivastava
Download
109
Simplification of Context Free Grammar (CFG) - Example 8
Akhilesh Kumar Srivastava
Download
110
Simplification of Context Free Grammar (CFG) - Example 9
Akhilesh Kumar Srivastava
Download
111
Simplification of Context Free Grammar (CFG) - Example 10
Akhilesh Kumar Srivastava
Download
112
Simplification of Context Free Grammar (CFG) - Example 11
Akhilesh Kumar Srivastava
Download
113
Simplification of Context Free Grammar (CFG) - Example 12
Akhilesh Kumar Srivastava
Download
114
Chomsky Normal Form || CNF - Example 1
Akhilesh Kumar Srivastava
Download
115
Chomsky Normal Form || CNF - Example 2
Akhilesh Kumar Srivastava
Download
116
Chomsky Normal Form || CNF - Example 3
Akhilesh Kumar Srivastava
Download
117
Chomsky Normal Form || CNF - Example 4
Akhilesh Kumar Srivastava
Download
118
Chomsky Normal Form || CNF - Example 5
Akhilesh Kumar Srivastava
Download
119
Chomsky Normal Form || CNF - Example 6 (AKTU 2016-17 Question)
Akhilesh Kumar Srivastava
Download
120
Chomsky Normal Form || CNF - Example 7
Akhilesh Kumar Srivastava
Download
121
Chomsky Normal Form || CNF - Example 8 (AKTU 2017-18 Question)
Akhilesh Kumar Srivastava
Download
122
Chomsky Normal Form || CNF - Example 9
Akhilesh Kumar Srivastava
Download
123
Chomsky Normal Form || CNF - Example 10
Akhilesh Kumar Srivastava
Download
124
Ambiguous Grammars || AKTU Exam Questions - 1
Akhilesh Kumar Srivastava
Download
125
Ambiguous Grammars || AKTU Exam Questions - 3
Akhilesh Kumar Srivastava
Download
126
Ambiguous Grammars || AKTU Exam Questions - 4
Akhilesh Kumar Srivastava
Download
127
Ambiguous Grammars || AKTU Exam Questions - 2
Akhilesh Kumar Srivastava
Download
128
Chomsky Normal Form - CNF || AKTU 2022 23 Exam Question
Akhilesh Kumar Srivastava
Download
129
Greibach Normal Form - GNF || Example 1
Akhilesh Kumar Srivastava
Download
130
Designing of Grammar from Language || Part 1
Akhilesh Kumar Srivastava
Download
131
Designing of Grammar from Language || Part 2
Akhilesh Kumar Srivastava
Download
132
Designing of Grammar from Language || Part 3
Akhilesh Kumar Srivastava
Download
133
Designing of Grammar from Language || Part 4
Akhilesh Kumar Srivastava
Download
134
Designing of Grammar from Language || Part 5
Akhilesh Kumar Srivastava
Download
135
Pumping Lemma for Context Free Languages (CFL) - AKTU 2018-19 Exam Question
Akhilesh Kumar Srivastava
Download
136
Pumping Lemma for Context Free Languages (CFL) - Example 2
Akhilesh Kumar Srivastava
Download
137
Pumping Lemma and Pigeonhole Principle
Akhilesh Kumar Srivastava
Download
138
Identification of Context Free Languages - Part 1
Akhilesh Kumar Srivastava
Download
139
Identification of Context Free Languages - Part 2
Akhilesh Kumar Srivastava
Download
140
GATE Questions on Context Free Languages - Part 1
Akhilesh Kumar Srivastava
Download
141
GATE Questions on Context Free Languages - Part 2
Akhilesh Kumar Srivastava
Download
142
GATE Questions on Context Free Languages - Part 3
Akhilesh Kumar Srivastava
Download
143
GATE Questions on Context Free Languages - Part 4
Akhilesh Kumar Srivastava
Download
144
GATE Questions on Context Free Languages - Part 5
Akhilesh Kumar Srivastava
Download
145
GATE Questions on Context Free Languages - Part 6
Akhilesh Kumar Srivastava
Download
146
GATE Questions on Context Free Languages - Part 7
Akhilesh Kumar Srivastava
Download
147
PDA - Push Down Automata || Definition and first Example || a^n b^n
Akhilesh Kumar Srivastava
Download
148
PDA - Push Down Automata || Example 3 || a^n b^n c^m
Akhilesh Kumar Srivastava
Download
149
PDA - Push Down Automata || Example 2 || no of (a)=no of (b)
Akhilesh Kumar Srivastava
Download
150
PDA - Push Down Automata || Example 4 || a^n b^m c^n
Akhilesh Kumar Srivastava
Download
151
PDA - Push Down Automata || Example 5 || a^m+n b^m c^n
Akhilesh Kumar Srivastava
Download
152
PDA - Push Down Automata || Example 6 || a^n b^m c^m+n
Akhilesh Kumar Srivastava
Download
153
PDA - Push Down Automata || Example 7 || a^n b^b+n c^m
Akhilesh Kumar Srivastava
Download
154
PDA - Push Down Automata || Example 8 || a^n b^2n
Akhilesh Kumar Srivastava
Download
155
PDA - Push Down Automata || Example 9 || a^n b^2n+1
Akhilesh Kumar Srivastava
Download
156
PDA - Push Down Automata || Example 10 || W c WR
Akhilesh Kumar Srivastava
Download
157
Non Deterministic Push Down Automata (NPDA) || L= { W W' } || Even Length Palindrome || Example 1
Akhilesh Kumar Srivastava
Download
158
Non Deterministic Push Down Automata (NPDA) || a^n b^n ∪ a^n b^2n || Example 2
Akhilesh Kumar Srivastava
Download
159
2-Stack Push Down Automata (PDA) || a^n b^n c^n d^n || Example 2
Akhilesh Kumar Srivastava
Download
160
2-Stack Push Down Automata (PDA) || a^n b^n c^n || Example 1
Akhilesh Kumar Srivastava
Download
161
Context Free Grammar (CFG) to Push Down Automata (PDA) - Part 1
Akhilesh Kumar Srivastava
Download
162
Context Free Grammar (CFG) to Push Down Automata (PDA) - Part 2
Akhilesh Kumar Srivastava
Download
163
CFG to PDA Conversion - AKTU Exam question - Example 3
Akhilesh Kumar Srivastava
Download
164
Push Down Automata (PDA) To Context Free Grammar (CFG) Conversion || Example 1
Akhilesh Kumar Srivastava
Download
165
PDA To CFG Conversion || AKTU 2018-19 || AKTU 2022-23 Exam Question
Akhilesh Kumar Srivastava
Download
166
PDA to CFG Conversion - AKTU 2015-16 Exam question - Example 3
Akhilesh Kumar Srivastava
Download
167
Turing Machine for a^n b^n - Example 1
Akhilesh Kumar Srivastava
Download
168
Turing Machine - Formal Definition
Akhilesh Kumar Srivastava
Download
169
Turing Machine for a^n b^n c^n - Example 2
Akhilesh Kumar Srivastava
Download
170
Turing Machine for a^n b^n c^ m - Example 3
Akhilesh Kumar Srivastava
Download
171
Turing Machine for 1's Complement of Binary Number - Example 4
Akhilesh Kumar Srivastava
Download
172
Turing Machine for 2's Complement of Binary Number - Example 5
Akhilesh Kumar Srivastava
Download
173
Turing Machine for Addition of 2 Numbers - Example 6
Akhilesh Kumar Srivastava
Download
174
Turing Machine for Subtraction of 2 Numbers - Example 7
Akhilesh Kumar Srivastava
Download
175
Turing Machine for Multiplication of Numbers - Example 8
Akhilesh Kumar Srivastava
Download
176
Turing Machine for Even Palindrome (W WR) - Example 9
Akhilesh Kumar Srivastava
Download
177
Turing Machine for Odd Palindrome (W a WR or W b WR) - Example 10
Akhilesh Kumar Srivastava
Download
178
Turing Machine for Odd Length Palindrome (WcWR) - Example 11
Akhilesh Kumar Srivastava
Download
179
Recursive Languages and Recursively Enumerable Languages || Theory of Computation
Akhilesh Kumar Srivastava
Download
180
Variations of Turing Machine
Akhilesh Kumar Srivastava
Download
181
Turing Machine for Regular Languages
Akhilesh Kumar Srivastava
Download
182
Turing Machine - AKTU 2016-17 Exam Question - Example 12
Akhilesh Kumar Srivastava
Download
183
Turing Machine - AKTU 2018-19 Exam Question - Example 13
Akhilesh Kumar Srivastava
Download
184
Linearly Bounded Automata (LBA)
Akhilesh Kumar Srivastava
Download
185
Church's Turing Thesis || Theory of Computation
Akhilesh Kumar Srivastava
Download
186
Halting Problem of Turing Machine || Undecidability
Akhilesh Kumar Srivastava
Download
187
Post Correspondence Problem - PCP || Undecidability
Akhilesh Kumar Srivastava
Download
188
Universal Turing Machine || Theory of Computation
Akhilesh Kumar Srivastava
Download
189
Closure Properties of Context Free Languages (CFL) || Union, Concatenation, Kleens Closure || Part1
Akhilesh Kumar Srivastava
Download
190
Closure Properties of Context Free Languages (CFL) || Intersection, Complementation || Part2
Akhilesh Kumar Srivastava
Download
191
Closure Properties of Regular Languages (Union, Intersection, Concatenation, Complement) - Part 1/4
Akhilesh Kumar Srivastava
Download
192
Closure Properties of Regular Languages (Reversal) - Part 2/4
Akhilesh Kumar Srivastava
Download
193
Closure Properties of Regular Languages (Homomorphism) - Part 3/4
Akhilesh Kumar Srivastava
Download
194
Closure Properties of Regular Languages (Inverse Homomorphism) - Part 4/4
Akhilesh Kumar Srivastava
Download