I personally like this version better than the version where you are building a table of transition states and then drawing out the DFA with that table.
Thank you soo much. Had to study this for finals and I was confused by my own notes. After many vids yours was the only one that answered all my confusions.
incredible, incredible video! thank you so much for doing what my textbook could not which would be explaining this process in a simple yet explanatory manner. Have a great day!
i get uni's might have to stick with teaching the most 'formal/textbook' ways of solving a problem. but being taught these hacky but intuitive methods would make overall comprehension such a breeze and personally i think that's what education should be about.
Thanks! In the end i was left with only one final state and it was the one that i started with. I checked my DFA and there was no route starting from my ε-enclosure and getting back there, so I assumed it was alright. I'd be happy to hear from your side to see if i did anything questionable. P.S i didnt go to my uni class but you seem superior.
3:54 "The set of states I could be in from q_2 reading an 'a' is q_0, q_1, q_2" Could you please explain me why "q_1" too? Starting from q_2, with an epsilon we can't go anywhere, with an a we can only go in q_0 and q_2 itself, and with a b only in q_3. Where am I wrong? Thanks in advance.
really late to this gem but thank you! I have a question what if there was also an epsilon from q1 to q3 and an epsilon from q3 to q2 what would the starting state look like in the DFA?
I'm not sure where you're getting q1. Note that the state we are testing "from" is {q0, q1} - note that q0 does not have a "b" transition, and q1 does have one to q2. So the resulting "state" is {q2}.
Can someone explain to me how {q1, q3} + a = {q1, q2} ?? Thats the only thing I cant understand. Is it because theres no defined states from q3 for the input 'a' this 'thread' kinda 'dies' and we can ignore it completely while q1 when given 'a' can result with both q1 and q2 and thats how we compe up with that?
from q1 through 'a' we can go to states {q1,q2}. from q2 we cant go to any state using 'a' transition. So next, when we consider the epsilon closures of q1 and q2, i.e. which states we can go to using epsilon transitions, it is themselves ; {q1,q2}. Hope that helps!
"Just use a computer to do this, don't do it by hand". Meanwhile I'm over here studying for my thermotical foundations exam where I know that this will show up.
Can you eventually tell me which book(s) your videos rely on? Because the professor in our Theoretical Computer Science lecture is not explaining everything thoroughly and deeply. Thanks in advance.
Not quite. Non-determinism happens when you have 2 transitions *with the same symbol* going from the same state. In this case, it's 2 transitions with *different* symbols. Only one of the two can possibly be taken at a time.
Next video! Proving that {0^n 1^n : n at least 0} is not regular: ua-cam.com/video/5GG8goBW9gw/v-deo.html
*You are god.*
Thank you so much man. You're way more competent than my university professor.
Blenderfier you're welcome!
🤣🤣🤣🤣
I personally like this version better than the version where you are building a table of transition states and then drawing out the DFA with that table.
it's the same thing though, just with the table you keep track of everything. With a larger alphabet it could get messy.
A lot of videos didn't include the empty string Epsilon. This helps a lot!
my lecture notes look like alien language but this thing right here, anybody could understand this. Thank you so much
Never thought I would be learning theoretical Informatics from Dexter. WOW!!!
Explained much better than my professor. :)
Really took all the complex mind bending gymnastics out of it thank you.
WOW?!?!?! I THOUGHT THE LAST VIDEO I SAW WAS THE BEST BUT URS EVEN BETTER!!!!
Thank you soo much. Had to study this for finals and I was confused by my own notes. After many vids yours was the only one that answered all my confusions.
better explained than university professor
incredible, incredible video! thank you so much for doing what my textbook could not which would be explaining this process in a simple yet explanatory manner. Have a great day!
keep up the good work
This is a the best explanation anyone can get on this course
Amazing job, you make solving these problems much easier.
Glad to help
Ok this seemed so difficult in class, but you made it easy. Thank you!!
I’m glad i came across this channel cuz my teacher sucks
i get uni's might have to stick with teaching the most 'formal/textbook' ways of solving a problem. but being taught these hacky but intuitive methods would make overall comprehension such a breeze and personally i think that's what education should be about.
Your videos are so helpful, thank you!
You're welcome!
Thank you SO MUCH for your explanation, I got this concept literally just now!! Thanks a lot!
Super helpful for my discrete 2 exam this week! Thanks so much :D
This was very easy to follow. Thanks a lot :)
You're very welcome!
Your video helped me a lot. thank you!
Very easy to understand viddeo. Thank you so much!
Wow! Congrats on the clear explaination
Thanks! In the end i was left with only one final state and it was the one that i started with. I checked my DFA and there was no route starting from my ε-enclosure and getting back there, so I assumed it was alright. I'd be happy to hear from your side to see if i did anything questionable.
P.S i didnt go to my uni class but you seem superior.
Holy crap this method is so beautiful! Thanks!!!
I'm always watching your video! And it is the most awesome lecture I've ever seen since I was born!!!! Thank you SOOOO much!!!!
Thank you , i understood really well !
3:54 "The set of states I could be in from q_2 reading an 'a' is q_0, q_1, q_2" Could you please explain me why "q_1" too? Starting from q_2, with an epsilon we can't go anywhere, with an a we can only go in q_0 and q_2 itself, and with a b only in q_3. Where am I wrong? Thanks in advance.
From q_2 on input 'a' you can go to q0 and to the epsilon closure of q0 which is q1
Thanks, along side this. Wikipedia helped me grasp the theoretical side a little aswell
way better than my professor!
Thanks! You did a great job explaining it!
really late to this gem but thank you! I have a question what if there was also an epsilon from q1 to q3 and an epsilon from q3 to q2 what would the starting state look like in the DFA?
At 3:11 shouldnt it be just q1 instead of just q2, since getting a 'b' wont let us transition out of that state?
I'm not sure where you're getting q1. Note that the state we are testing "from" is {q0, q1} - note that q0 does not have a "b" transition, and q1 does have one to q2. So the resulting "state" is {q2}.
you are the GOAT!
Great stuff, thank you!
But what if theres no epsilon enclosure in the NFA? How do I start? Do I just have to start with a if f.e q0 points with a to q1?
yes
best teacher evaaah
LITERALLY PERFEECT VIDEO
thanks a lot! u just saved my mid
Nice explanation, thanks
Thank you a lot, great work!
Can someone explain to me how {q1, q3} + a = {q1, q2} ?? Thats the only thing I cant understand. Is it because theres no defined states from q3 for the input 'a' this 'thread' kinda 'dies' and we can ignore it completely while q1 when given 'a' can result with both q1 and q2 and thats how we compe up with that?
from q1 through 'a' we can go to states {q1,q2}. from q2 we cant go to any state using 'a' transition. So next, when we consider the epsilon closures of q1 and q2, i.e. which states we can go to using epsilon transitions, it is themselves ; {q1,q2}. Hope that helps!
very good video, love it
Great explanation , thanks
Beautiful!
I don't get the echelon part of determining the set of states.
Great content!
"Just use a computer to do this, don't do it by hand".
Meanwhile I'm over here studying for my thermotical foundations exam where I know that this will show up.
Legendary video
What if I don't have Epsilon on my NFA?
Thanks for this great video
needed this
Thanks a bunch! Super clear!
What do you do if you have a lamda transition?
C'est incroyable!
this is some good stuff bro
Thanks a lot, I finally got it
Great video!
intro is iconic lol 🤣🤣
Can you eventually tell me which book(s) your videos rely on? Because the professor in our Theoretical Computer Science lecture is not explaining everything thoroughly and deeply. Thanks in advance.
It's mainly the Sipser textbook, 3rd edition. All the notation I use is from there too.
you the best.
youre awesome. thanks
Thank you!
very clear
How is this a DFA? {q1,q3} have 2 inputs leading to the same state {q1,q2}. This makes it non-deterministic.
Not quite. Non-determinism happens when you have 2 transitions *with the same symbol* going from the same state. In this case, it's 2 transitions with *different* symbols. Only one of the two can possibly be taken at a time.
thank you so much
Thanks man.
Thx dude!
Thanks a lot! : D
*heart react
Perez Edward Hall Brenda Jones Laura
Taylor Matthew Williams Helen Martinez Jason
abi çok tatlısın da anlatırken niye sinirleniyorsun anlamadım
Ahhhhh why are you making me do it by hand Sir! 😡
Man, I'm afraid you have a video in your ads...
Don't understand for shit, plez make second vid...
I hate professors for being so damn stupid. Why not just teach it this way?
Great video, thanks a lot!