You are the best Automata Theory youtube channel. It's a niche title, but you earned it.
@EasyTheory3 жыл бұрын
I'll accept my award and parade soon :) (thanks very much!)
@MUSHIN_8882 жыл бұрын
I agree
@prakhartiiwarii3 жыл бұрын
Finally, a short and to-the-point video clearing out the concepts! Thanks ✌🏻
@EasyTheory3 жыл бұрын
You're welcome!
@Shan-gn7mg Жыл бұрын
@@EasyTheory yes please do more vids like this, it's more efficient and easy to understand.
@Shan-gn7mg Жыл бұрын
@@EasyTheory is that possible to do a same version for pda to cfg?
@sebastianllano140528 күн бұрын
Youre a fantatic teacher. My professor cant teach this in a 2 hour lecture and yet you did it so clearly in 9 minutes and 14 seconds. Why do I go to class?
@forthehomies70437 күн бұрын
My professor did a similar example today in class as an introductory lesson to PDA, and I had no clue what she was talking about. I immediately understood this video. Thanks.
@inarazahin57864 жыл бұрын
This is the best explanation so far. It is concise and to the point. Thanks for this video.
@EasyTheory4 жыл бұрын
You're very welcome!
@thatguy78022 жыл бұрын
I have an assignment due in an hour and you may have just saved me a letter grade. Thank you!
@konstantinsazhnev Жыл бұрын
Great example and works for every CFG. The only thing I would add is if you have recursion in the same production like S --> abSb | epsilon then we have to make another loop to remove S from the stack within the loop state mentioned in the video.
@alvihabib4 жыл бұрын
You are THE MAN. Thanks for this awesome explanation!
@EasyTheory4 жыл бұрын
Alvi Habib thanks very much! Make sure to check out the lecture series I'm currently doing.
@TheWiimaster4564 жыл бұрын
FINALLY an English Video thank you so much man this was great
@EasyTheory4 жыл бұрын
Lol thanks!
@techademy93543 жыл бұрын
The man, the myth, and the legend of theory of computation and teaching in general!
@matthewsocoollike2 жыл бұрын
wow. thank you so much. I was watching other videos so confused by all the math. your video made it super simple, thank you.
@ashleyarmenta22892 жыл бұрын
This is the best PDA explanation video that I've found, thank you!
@Leonidesu Жыл бұрын
Hi there, could you remove the pop-ups at the end of the video that goes to another video because it blocks your writing and we could not see anything.
@沼氨 Жыл бұрын
i luv the clear way u describe. THX for saving my final💪
@Dakun4 жыл бұрын
you saved me, way better explanation than my professor
@EasyTheory4 жыл бұрын
You're welcome!
@zeitgeist183 жыл бұрын
So what if instead of B -> epsilon as a production in our CFG, we had B -> a (or B-> b). Could we still use a self loop back to qloop. In other words can we use a self loop to qloop, anytime the RHS of the production has only one symbol? Excellent video btw!
@moatef18862 жыл бұрын
To answer your question a year later, yes you should be able to simply use a self loop back to qloop when the RHS of the production has one symbol.
@wengeance89623 жыл бұрын
So how do you represent S -> A, would this just be a self loop on qloop being (epsilon, S -> A)?
@EasyTheory3 жыл бұрын
Yes, correct! Or you can have two transitions that "go out of qloop and come back" but that's not necessary.
@ShaidaMuhammad4 жыл бұрын
Man, It was 6th video in my KZbin search "cfg to pda" which I understood. Thanks man.
@EasyTheory4 жыл бұрын
5 more spots to rise up! ;)
@ShaidaMuhammad4 жыл бұрын
@@EasyTheory Yeah, The volume was a bit slow, but headphones worked fine for me.
@pk-le5bb2 жыл бұрын
clear, concise, and comprehensive. you are a godsend, thank you
@DiwashHCR23 жыл бұрын
Shouldn't the transition from the second state to q-loop be (epsilon, $ -> S) .. since the input read is nothing, stack top is a dollar and to push is S?
@EasyTheory3 жыл бұрын
Why would you pop $ there? The whole purpose of putting the $ on the stack at the very start is to ensure we can't go to the final state unless the stack is "empty" (other than $).
@DiwashHCR23 жыл бұрын
@@EasyTheory Thanks ... I thought the tuple was (input symbol, stack top symbol, push/pop)
@EasyTheory3 жыл бұрын
@@DiwashHCR2 This is where divergence in notation comes into play -- my notation (based on the Sipser book) is: (input_symbol, thing_to_pop (or not), thing_to_push (or not)). So the first transition here pushes a $, and then pushes an S (the start variable). So when we first enter q_loop, the stack contents are $S (top of stack on the right).
@EasyTheory3 жыл бұрын
There are some books that do force something to be popped on each transition; some others (maybe yours) does a "peek" at the top but doesn't pop; others can (maybe yours also) forces a push-only or pop-only transition.
@jaeger_4042 жыл бұрын
Thank you!!! This made so much more sense than the other explanations i found
@shyamkannan85942 жыл бұрын
What if the language has no terminals? Then what would go in qloop
@dan-cj1rr3 жыл бұрын
Thanks for the video, i have a question, i don't understand when you're in qloop why isn't it S, S ; c instead of epsilon, S ; c would make more sens for me if it was S,S ; c no ? Or does both work. Thanks
@EasyTheory3 жыл бұрын
Because S, S -> c means "read an S" but that is already a problem because the input is over the input alphabet Sigma, not the stack alphabet Gamma.
@globalxoxo2 жыл бұрын
Amazing video Sir Alan
@cadencetennant33032 жыл бұрын
Super helpful! I understand it so much better now.
@rosenv.19533 жыл бұрын
How would this look if we accept by final state rather than empty stack?
@albanyrebelion5 ай бұрын
what is the significance of the read only self loop?
@albanyrebelion5 ай бұрын
is that the case even if a terminal isnt in the S(start) rule?
@farwahbatool62472 жыл бұрын
You're the man I take refuge in 😢🙌🏻💖
@woodfur00 Жыл бұрын
Perfectly explained, bless you 🙏
@pauldumitriu92374 жыл бұрын
Hi there, I was wondering if you have any videos where we can go backwards? Going from a PDA to a cfg
@EasyTheory4 жыл бұрын
Video coming out soon :) the CFL livestream happening in a few weeks will certainly cover this too
@sonjamariemusic2 жыл бұрын
sir. you've saved my life
@Patrick-S36 ай бұрын
Fantastic video! This helped me so much!!!
@dilaragoral22593 жыл бұрын
Thank you so much, you saved a lot of lives!!
@EasyTheory3 жыл бұрын
You're very welcome!
@melissamarlen1022 Жыл бұрын
This was such a great video! Thank you so much!
@Jessislegend4 жыл бұрын
Good explanation! Much appreciated
@KhangNguyen-wj5jd2 жыл бұрын
What is the software you use for drawing? It is beautiful.
@fadyaldhaim47662 ай бұрын
did you know what it is?
@rotisosis82853 жыл бұрын
Thank you so much now is easy to do my homework.
@cobyjonah76752 жыл бұрын
omg you are literally the best
@amanxo1 Жыл бұрын
LMFAOOOOOOOOOOOOO thank you man this is literally what i needed
@FernandaRodriguez-xf3lr11 ай бұрын
Thank you!! This is a great video
@ananayarora3 жыл бұрын
Thank you thank you thank you so so so much!!!! I subscribed
@EasyTheory3 жыл бұрын
You're very welcome!
@cihadozcan10353 жыл бұрын
Thanks for neat explanation
@alexoxley50583 жыл бұрын
Thank you so much, really helped!
@evaeunicemoreno63493 жыл бұрын
Thanks for this! Finally, i got it ✨
@EasyTheory3 жыл бұрын
Great!
@LPNorway2 жыл бұрын
Thank you so much man
@justinkuang94233 жыл бұрын
Another great vid 👌🏻
@csperi-peri24473 жыл бұрын
Great Video !
@amynguyen31313 жыл бұрын
Thank you so much!
@jeffchong34502 жыл бұрын
Thank you!!
@zeruihai60513 жыл бұрын
Thank you sooooo sooooo much!!!!
@samjudelson3 жыл бұрын
Thanks!
@nabeelbaghoor10613 жыл бұрын
Thanks a lot!!!!
@EasyTheory3 жыл бұрын
You're welcome :)
@LasradoRohan4 жыл бұрын
Loved It
@unpluggability3 жыл бұрын
i love you.
@armanyama31863 жыл бұрын
Why we can't take all these in single loop on qloop state ?
@fatimaalamour52562 жыл бұрын
In Germany we say Ehrenmann
@princeelliot28362 жыл бұрын
Great video, but why not accept with empty stack and simply use two states: (We have to assume that $ is already on the stack, though. Otherwise, this automaton would accept every input.) The first state pushes the start-non-terminal on the stack and the second state loops over itself, while using every single rule from the CFG and pops terminals from the stack, while pushing nothing on the stack. The moment the stack is empty again, simply go back to the first state and push nothing on the stack. Our automaton should accept now, because the stack is empty.
@princeelliot28362 жыл бұрын
Or, if we want to have an accepting state, we could add a third state and if we have an empty stack (even without $), then we go from the second state to the third one and accept.
@LucasCliff-r5o15 күн бұрын
10302 Hayes Avenue
@tekunalogy3 жыл бұрын
❤️
@DonnaLee-d4nАй бұрын
Reuben Turnpike
@WillianNine-q7dАй бұрын
Isabell Lights
@JoyceVera-k9vАй бұрын
Powlowski Vista
@DarinTimas-e6u26 күн бұрын
Dickinson Mountains
@shaysarn22355 ай бұрын
8:48
@darklord9982 жыл бұрын
I used this tutorial for a quiz and my professor marked it completely wrong :(