Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

Automata Theory and Formal Languages - Complete Course

Sundeep Saradhi Kanthety via YouTube

Overview

Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Explore the comprehensive fundamentals of automata theory and formal languages through this extensive video course series spanning over 20 hours. Master the core concepts starting with basic notations and representations, then progress through finite automata including deterministic finite automata (DFA) and non-deterministic finite automata (NFA) with practical examples covering string patterns, substring matching, divisibility problems, and even-odd number recognition. Learn essential conversion techniques between NFA and DFA, including epsilon closure handling and DFA minimization strategies. Delve into regular expressions, identity rules, and Arden's theorem for establishing equivalences between different representations. Study various conversion methods between finite automata and regular expressions using both Arden's method and state elimination techniques. Understand the pumping lemma for regular languages and explore different grammar types including regular grammar and context-free grammar (CFG). Examine derivation trees, parse trees, and different derivation methods while learning to identify and handle ambiguous grammars. Master CFG simplification techniques including removal of useless productions, null productions, and unit productions. Convert context-free grammars to normal forms including Chomsky Normal Form (CNF) and Greibach Normal Form (GNF), and learn left recursion removal techniques. Conclude with pushdown automata (PDA) concepts, practical examples, and instantaneous descriptions for string acceptance, providing a complete foundation in theoretical computer science and formal language theory.

Syllabus

01-INTRODUCTION TO AUTOMATA THEORY AND ITS APPLICATIONS || THEORY OF COMPUTATION || FORMAL LANGUAGES
02-BASIC NOTATIONS & REPRESENTATIONS IN AUTOMATA THEORY ||BASICS OF AUTOMATA|| THEORY OF COMPUTATION
03-WHAT IS FINITE AUTOMATA AND REPRESENTATION OF FINITE AUTOMATA || THEORY OF COMPUTATION
04-TYPES OF FINITE AUTOMATA (DFA & NFA) IN AUTOMATA THEORY || DFA & NFA || THEORY OF COMPUTATION
05-DETERMINISTIC FINITE AUTOMATA (DFA) EXAMPLE - 1 (STRINGS STARTS WITH) IN AUTOMATA THEORY || TOC
06-DETERMINISTIC FINITE AUTOMATA (DFA) EXAMPLE - 2 (STRINGS ENDS WITH) IN AUTOMATA THEORY || TOC
07-DETERMINISTIC FINITE AUTOMATA (DFA) EXAMPLE - 3 (SUBSTRING OR CONTAINS) IN AUTOMATA THEORY || TOC
08-DETERMINISTIC FINITE AUTOMATA (DFA) EXAMPLE - 4 (STRING LENGTH) IN AUTOMATA THEORY || TOC
09-DETERMINISTIC FINITE AUTOMATA (DFA) EXAMPLE - 5 (DIVISIBLE BY) IN AUTOMATA THEORY || TOC
10-DETERMINISTIC FINITE AUTOMATA (DFA) EXAMPLE - 6 (EVEN'S & ODD'S) IN AUTOMATA THEORY || TOC
11-NFA (NON DETERMINISTIC FINITE AUTOMATA) WITH EXAMPLE IN AUTOMATA THEORY || THEORY OF COMPUTATION
12-DIFFERENCES BETWEEN DFA & NFA IN AUTOMATA THEORY || DFA & NFA || THEORY OF COMPUTATION
13-EPSILON CLOSURE IN AUTOMATA THEORY || NFA WITH EPSILON || TOC
14-CONVERSION OF NFA WITH EPSILON TO NFA WITHOUT EPSILON IN AUTOMATA THEORY || TOC
15-CONVERSION OF NFA TO DFA WITH EXAMPLES IN AUTOMATA THEORY || NFA TO DFA CONVERSION || TOC
16-MINIMIZATION OF DFA WITH EXAMPLE IN AUTOMATA THEORY || DFA MINIMIZATION || TOC
17-EQUIVALENCE BETWEEN TWO DFA IN AUTOMATA THEORY || EQUIVALENCE BETWEEN TWO FSM'S || TOC
18-REGULAR EXPRESSIONS IN AUTOMATA THEORY || REGULAR EXPRESSION WITH EXAMPLE || TOC
19-IDENTITY RULES FOR REGULAR EXPRESSIONS IN AUTOMATA THEORY | IDENTITIES OF REGULAR EXPRESSIONS|TOC
20-ARDEN'S THEOREM IN AUTOMATA THEORY || EQUIVALENCE OF TWO REGULAR EXPRESSIONS || DFA TO RE || TOC
21-CONVERSION OF FINITE AUTOMATA TO REGULAR EXPRESSION USING ARDENS METHOD IN AUTOMATA THEORY || TOC
22-CONVERSION OF FINITE AUTOMATA TO RE USING STATE ELIMINATING METHOD IN AUTOMATA THEORY || TOC
23-CONVERSION OF REGULAR EXPRESSION TO FINITE AUTOMATA USING SUBSET METHOD IN AUTOMATA THEORY || TOC
24-CONVERSION OF REGULAR EXPRESSION TO FINITE AUTOMATA USING DIRECT METHOD IN AUTOMATA THEORY || TOC
25-PUMPING LEMMA IN AUTOMATA THEORY || PUMPING LEMMA FOR REGULAR LANGUAGES WITH EXAMPLES || TOC
26-REGULAR GRAMMAR IN AUTOMATA THEORY || GRAMMAR || LEFT LINEAR GRAMMAR ||RIGHT LINEAR GRAMMAR ||TOC
27-CONTEXT FREE GRAMMAR IN AUTOMATA THEORY || CFG IN ATFL || TOC || AUTOMATA THEORY
28-DERIVATION TREE / PARSE TREE IN AUTOMATA THEORY || DERIVATION || TOC
29-TYPES OF DERIVATION TREE (LEFT-MOST & RIGHT MOST) IN AUTOMATA THEORY || TOC
30-AMBIGUOUS GRAMMAR IN AUTOMATA THEORY || AMBIGUITY IN CONTEXT FREE GRAMMAR || TOC
31-DIFFERENCE BETWEEN REULAR GRAMMAR AND CONTEXT FREE GRAMMAR IN AUTOMATA THEORY || TOC
32-REMOVAL OF USELESS PRODUCTIONS - SIMPLIFICATION OF CFG IN AUTOMATA THEORY || TOC
33-REMOVAL OF NULL (EPSILON) PRODUCTIONS - SIMPLIFICATION OF CFG IN AUTOMATA THEORY || TOC
34-REMOVAL OF UNIT PRODUCTIONS - SIMPLIFICATION OF CFG IN AUTOMATA THEORY || TOC
35-CHOMSKY NORMAL FORM (CNF) & CONVERSION OF CFG TO CNF IN AUTOMATA THEORY || CFG TO CNF || TOC
36-TYPES OF RECURSIONS AND REMOVAL OF LEFT RECURSION IN AUTOMATA THEORY || LEFT RECURSION || TOC
37-GREIBACH NORMAL FORM (GNF) AND CONVERSION OF CONTEXT FREE GRAMMAR TO GNF IN AUTOMATA THEORY ||TOC
38-PUSHDOWN AUTOMATA (PDA) IN AUTOMATA THEORY || PDA INTRODUCTION || WHAT IS PDA ? || TOC
39-PUSHDOWN AUTOMATA EXAMPLE (a^n b^n) || PDA EXAMPLE || TOC
40-PUSHDOWN AUTOMATA EXAMPLE - 2 (a^n b^m c^n) || PDA EXAMPLE - 2 || TOC
41-INSTANTANEOUS DESCRIPTION (ID) OF PDA IN AUTOMATA THEORY || ID OF PDA ||ACCEPTANCE OF STRING||TOC
Automata Theory & Formal Languages Made Simple || Complete Course || TOC || FLAT || ATFL

Taught by

Sundeep Saradhi Kanthety

Reviews

Start your review of Automata Theory and Formal Languages - Complete Course

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.