Deterministic Finite Automata: Regular Operators, and Proving DFAs are Correct

Published on ● Video Link: https://www.youtube.com/watch?v=eExrvEcmJGU



Duration: 4:52:15
53 views
0


Today we will continue studying Deterministic Finite Automata. Before we continue, I'll introduce what regular operators are, then we will now exactly what "computing" is on a deterministic finite automaton (DFA). We will dedicate (and use this definition) a good portion of today's lecture to proving DFA we previously studied are correct.

Time Stamps:
0:00 Preshow
1:07:00 Lecture begins.

Supporters (to date of publication, by tier (top to bottom)):
----------------------------------------------------------
Patreon Supporters (General Support):
Draikou
Patreon Supporters (Basic Support):
Patreon Supporters (Supporter Access!):
Eric R
-----------------------------------------------------------
Become a supporter today! To support my work and mission to provide free or accessible Computer Science education (especially in theory), subscribe to the channel, share my videos. Please donate and contribute to support my work for more content:
PATREON: https://www.patreon.com/PageWizard
SUBSCRIBESTAR: https://www.subscribestar.com/drpage

Follow also at:
FACEBOOK: https://www.facebook.com/DanielRPage
TWITTER: https://twitter.com/PageWizardGLE
QUORA: https://www.quora.com/profile/Daniel-...
TWITCH: https://www.twitch.tv/pagewizard

#ComputerScience
#Automata
#TheoryOfComputing




Other Videos By PageWizard Games, Learning & Entertainment


2023-02-01Nondeterminism and Nondeterministic Finite Automata
2023-01-30Proving Correctness of Deterministic Finite Automata, State Invariants (Theory of Computing)
2023-01-27Formal Definition of Computing for DFAs (Theory of Computing)
2023-01-25Regular Operators (Theory of Computing)
2023-01-23Designing Deterministic Finite Automata (DFAs) [Theory of Computing]
2023-01-20What are Deterministic Finite Automata (DFAs)? A Conceptual Overview [Theory of Computing]
2023-01-19Dan Plays Pokemon Scarlet (January 19, 2023)
2023-01-18What is a Formal Language? Decision Problems and Discussion [Theory of Computing]
2023-01-12Dan Plays Pokemon Scarlet (January 12, 2023)
2023-01-11Combinations (k-Combinations) [Mathematics for Computer Science]
2023-01-10Deterministic Finite Automata: Regular Operators, and Proving DFAs are Correct
2023-01-09Permutations and k-Permutations (Mathematics for Computer Science)
2023-01-07Dan Plays Pokemon Scarlet (January 6, 2023)
2023-01-06Multiplication Principle, Number of Ordered Sequences with Repeats (Maths for Computer Science)
2023-01-04Addition Principle, Inclusion/Exclusion Principle (2 Sets) [Mathematics for Computer Science]
2023-01-03Strings, Formal Languages, and Deterministic Finite Automata
2023-01-02Checking Solutions to Recurrence Relations (Mathematics for Computer Science)
2022-12-30Solving Recurrence Relations via Iteration
2022-12-30Dan Plays Pokemon Scarlet (December 29, 2022)
2022-12-28Recursion: How Does It Work?
2022-12-26Recursion: The Basics (with Examples)