Great video, really helps a lot. One question, 5:30, when splitting blue transition (a, x -> y) to the yellow transition, why we pop first(a, x -> epsilon), then push(epsilon, epsilon -> y)? Why not push first, then pop?
@@EasyTheory ha, i hope not. we just covered NPDAs today and how to use the stack to work out a proof. its actually pretty cool and fun once you get the hang of it.
Yeah, bro, the document from my university didn’t make sense at all. Thank you for this explanation. It makes a lot of sense.
Learning this only from UA-cam, but very easy to understand, thank you, sir
Great video, really helps a lot.
One question, 5:30, when splitting blue transition (a, x -> y) to the yellow transition, why we pop first(a, x -> epsilon), then push(epsilon, epsilon -> y)? Why not push first, then pop?
If we push y (epsilon, epsilon -> y) first , we need to pop y and then pop x, and again push y, which is unnecessary thing.
If you have pushed then popped you’re going to be doing nothing cuz u’ll be poping the same symbol the u’ve pushed
It's like you're on our outline schedule
Stalking ya ;)
@@EasyTheory ha, i hope not. we just covered NPDAs today and how to use the stack to work out a proof. its actually pretty cool and fun once you get the hang of it.
@@HelloThere-xs8ss yes, and nondeterminism is often the best friend here.
It was helpful, thank you
Great Video!
Thanks!