filmov
tv
F2021 CS 411/811 Lecture 8 (epsilon NFAs, modified subset construction for epsilon NFAs to DFAs)
Показать описание
In today's class I cover epsilon-NFAs. I show how we use a modified version of the subset construction to build a NFA from an epsilon NFA. Then I make some remarks about DFAs with dead states and also summarize everything we covered up until this point.
Time Stamps:
0:00 Opening
0:30 Formal Definition of epsilon-NFA and epsilon-closure (informal)
5:48 Formal definition of epsilon-closure, and example
20:50 Extended Transition Function for epsilon-NFAs
27:15 Language of an epsilon-NFA
31:40 epsilon-NFA to DFA conversion (modified subset construction), with example
55:20 Remark about DFAs with dead states
59:15 Summary of what we have done so far!
Time Stamps:
0:00 Opening
0:30 Formal Definition of epsilon-NFA and epsilon-closure (informal)
5:48 Formal definition of epsilon-closure, and example
20:50 Extended Transition Function for epsilon-NFAs
27:15 Language of an epsilon-NFA
31:40 epsilon-NFA to DFA conversion (modified subset construction), with example
55:20 Remark about DFAs with dead states
59:15 Summary of what we have done so far!
F2021 CS 411/811 Lecture 8 (epsilon NFAs, modified subset construction for epsilon NFAs to DFAs)
F2021 CS 411/811 Lecture 9 (Regular Expressions)
F2021 CS 411/811 Lecture 28 (Variants of TMs, Nondeterministic Turing Machine, Chomsky Hierarchy)
F2021 CS 411/811 Lecture 30 (Encoding a TM, Intro to Universal Turing Machines, Diagonalization)
F2021 CS 411/811 Lecture 29 (Countability and Diagonalization)
F2021 CS 411/811 Lecture 25 (Turing Machine Design, Transducers, Non-CFL Language TM)
F2021 CS 411/811 Lecture 10 (Regular Expressions, Kleene's Theorem (Part 1))
F2021 CS 411/811 Lecture 35 (Computers and TMs, Polynomial-Time, Examples, NP)
F2021 CS 411/811 Lecture 32 (Reductions, Decidability, Undecidability, Example)
F2021 CS 411/811 Lecture 7 (Proof for Equivalence of DFAs and NFAs, epsilon-NFAs)
F2021 CS 411/811 Lecture 34 (Time Complexity of DTMs and NTMs, Big-Oh Notation, Complexity Classes)
F2021 CS 411/811 Lecture 12 (Kleene's Theorem (Finale))
F2021 CS 411/811 Lecture 38 (NP-completeness, SAT, 3SAT, Vertex Cover, More NP-complete problems)
F2021 CS 411/811 Lecture 31 (Diagonalization Language is not RE, Universal Language, Undecidability)
F2021 CS 411/811 Lecture 23 (Properties of Context-Free Languages)
F2021 CS 411/811 Lecture 5 (NFA Definition, Extended Transition Function, Language of NFA, Example)
F2021 CS 411/811 Lecture 37 (P vs. NP, Polynomial-Time Reductions, NP-hard, NP-complete)
F2021 CS 411/811 Lecture 36 (NP, Poly-Time Verifiers, Examples)
CS411 LECTURE 8
F2021 CS 340 Lecture 11 (Amortized Analysis, Array Doubling/Resizable Arrays)
CS 411|| Short lecture || 32 lecture|| Final term preparation
Tutorial 7 - Proving a language is not regular, Context-Free grammars
3 Secrets to writing a great General Training Task 1
Kleene's theorem ( part 3 rule 4 ) Kleene closure of an FA | Automata Theory
Комментарии