Formal Definition of Computing for NFAs (Theory of Computing)

Channel:
Canada PageWizard Games, Learning & Entertainment
Subscribers:
780
Published on ● Video Link: https://www.youtube.com/watch?v=jwAaAUvl6hM


Duration: 23:53
18 views
2

Previously we seen what a nondeterministic finite automaton (NFA) is! Let's explore how to define its computations exactly, and some examples, akin to when we explored the same idea with DFAs.

Time Stamps:
0:00 Opening/Recap
0:28 Summary
3:40 Definition of extended transition function
9:20 Examples with a NFA
20:38 Language of a NFA
23:33 Closing

Have a beautiful day!

Supporters (to date of publication, by tier (top to bottom)):
----------------------------------------------------------
Patreon Supporters (General Support):
Draikou
Patreon Supporters (Basic Support):
Eric R.
Patreon Supporters (Supporter Access!):
-----------------------------------------------------------
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
#Algorithms
#DataStructures



Other Videos By PageWizard Games, Learning & Entertainment


2023-03-08Proving the Correctness of the Subset Construction (Theory of Computing)
2023-03-07Pumping Lemma for Regular Languages (Birthday Stream)
2023-03-06Applying the Lazy Subset Construction for NFAs (to DFAs) [Theory of Computing]
2023-03-03Lazy Subset Construction (for NFAs to DFAs) [Theory of Computing]
2023-03-03Dan Plays Chrono Trigger (March 2, 2023)
2023-03-01Subset Construction: NFAs to DFAs (Theory of Computing)
2023-03-01Regular Expressions II (Regex to DFA - Kleene's Theorem (Part 2))
2023-02-27Proving NFAs are Correct via State Invariants (Theory of Computing)
2023-02-24Designing Nondeterministic Finite Automata (Theory of Computing)
2023-02-24Dan Plays Chrono Trigger (February 23, 2023)
2023-02-22Formal Definition of Computing for NFAs (Theory of Computing)
2023-02-22Regular Expressions I
2023-02-20What are Nondeterministic Finite Automata? [Theory of Computing]
2023-02-17Dan Plays Chrono Trigger (February 16, 2023)
2023-02-17Rows of Pascal's Triangle Sum to Powers of 2 (Mathematics for Computer Science)
2023-02-15Applying the Binomial Theorem (Mathematics for Computer Science)
2023-02-15Nondeterministic Finite Automata with Epsilon-Transitions
2023-02-13The Binomial Theorem (Mathematics for Computer Science)
2023-02-10Dan Plays Monster Hunter Rise: Sunbreak (February 9, 2023)
2023-02-10Properties of Pascal's Triangle (Mathematics for Computer Science)
2023-02-08Pascal's Triangle and Formula (Mathematics for Computer Science)


Tags:
Computer Science
Algorithms
Data Structures
Education
CompSci
CS
PageWizard
Mathematics
Accessibility
University
COMPSCI
COMP
CSCI
Western
Manitoba
StFX
Regina
NFA
nondeterminism
nondeterministic
non-deterministic
finite automata
automata theory