Formal Definition of Computing for DFAs (Theory of Computing)

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



Duration: 29:11
19 views
2


Previously we learned how a deterministic finite automaton (DFA) works at a higher level, now we will learn how it formally works using the concept of an extended transition function! With this, we can define the language of a DFA.

Time Stamps:
0:00 Recap of how DFAs work at a higher level, as discussed before.
1:10 Formal Definition of Computing for a DFA (promise about this definition)
4:00 Extended transition function, full examples
25:10 Language of a DFA
28:50 Closing

Have a beautiful day!

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
PAYPAL: https://paypal.me/pagewizard

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

#ComputerScience
#theoryofcomputation
#automata




Other Videos By PageWizard Games, Learning & Entertainment


2023-02-10Properties of Pascal's Triangle (Mathematics for Computer Science)
2023-02-08Pascal's Triangle and Formula (Mathematics for Computer Science)
2023-02-08Equivalence of Deterministic and Nondeterministic Finite Automata
2023-02-06n Choose k Equals n Choose n-k
2023-02-03Dan Plays Pokemon Scarlet (FINALE - Feb. 2, 2023)
2023-02-03Proving Correctness of DFAs via State Invariants II [FULL EXAMPLE 2] (Theory of Computing)
2023-02-01Ms. Kitty Disrupts Dr. Page's Lecture All Wet
2023-02-01Proving Correctness of DFAs via State Invariants [FULL EXAMPLE] (Theory of Computing)
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)



Tags:
Computer Science
Algorithms
Data Structures
Education
CompSci
CS
PageWizard
Mathematics
Accessibility
University
COMPSCI
COMP
CSCI
Western
Manitoba
StFX
Regina
dfa
computing
extended transition function
delta hat
delta
language of a DFA
DFAs