Here we look at ε-closure (or epsilon closure), which is important in the NFA to DFA conversion process. The basic idea is to consider a set of states, and every set of states "reachable" from that set (including the original) using only ε-transitions. We give several examples as well.
Contribute:
Patreon:
https://www.patreon.com/easytheoryDiscord:
https://discord.gg/SD4U3hsLive Streaming (Sundays 2PM GMT, 2 hours):
Twitch:
https://www.twitch.tv/easytheory(Youtube also)
Mixer:
https://mixer.com/easytheorySocial Media:
Facebook Page:
https://www.facebook.com/easytheory/Facebook group:
https://www.facebook.com/groups/easytheory/Twitter:
https://twitter.com/EasyTheoryMerch:
Language Hierarchy Apparel:
https://teespring.com/language-hierarchy?pid=2&cid=2122Pumping Lemma Apparel:
https://teespring.com/pumping-lemma-for-regular-langIf you like this content, please consider subscribing to my channel:
https://www.youtube.com/channel/UC3VY6RTXegnoSD_q446oBdg?sub_confirmation=1Ultimate Supporters: (none)
Diamond Supporters: (none)
Platinum Supporters: (none)
Gold Supporters: Anonymous (x1), Micah Wood, Ben Pritchard
Silver Supporters: Timmy Gy
Supporters: Yash Singhal
▶ADDITIONAL QUESTIONS◀
1. Can the ε-closure ever be empty?
2. What is the ε-closure of a state in a DFA?
▶SEND ME THEORY QUESTIONS◀
ryan.e.dougherty@icloud.com
▶ABOUT ME◀
I am a professor of Computer Science, and am passionate about CS theory. I have taught over 12 courses at Arizona State University, as well as Colgate University, including several sections of undergraduate theory.
▶ABOUT THIS CHANNEL◀
The theory of computation is perhaps the fundamental theory of computer science. It sets out to define, mathematically, what exactly computation is, what is feasible to solve using a computer, and also what is not possible to solve using a computer. The main objective is to define a computer mathematically, without the reliance on real-world computers, hardware or software, or the plethora of programming languages we have in use today. The notion of a Turing machine serves this purpose and defines what we believe is the crux of all computable functions.
This channel is also about weaker forms of computation, concentrating on two classes: regular languages and context-free languages. These two models help understand what we can do with restricted means of computation, and offer a rich theory using which you can hone your mathematical skills in reasoning with simple machines and the languages they define.
However, they are not simply there as a weak form of computation--the most attractive aspect of them is that problems formulated on them are tractable, i.e. we can build efficient algorithms to reason with objects such as finite automata, context-fr
...
https://www.youtube.com/watch?v=Ul9QTb7wUek