Ogden's Lemma for Context-Free Languages Proof

Veröffentlicht am: 23 Oktober 2021
auf dem Kanal: Easy Theory

4,688

Here we give a proof of Ogden's Lemma, which is a generalization of the pumping lemma for context-free languages. It's the same general idea, except now we can arbitrarily mark a number of symbols in the string, and the decomposition of the string contains some number of marked symbols. This generalizes the usual pumping lemma because the usual PL has "marked" symbols as being all of the symbols in the string. But for Ogden's Lemma, we can have some unmarked characters.

Thanks to the following supporters of the channel for helping support this video. If you want to contribute, links are below. Names are listed in alphabetical order by surname.
Platinum: Micah Wood
Silver: Dolev Abuhazira, Simone Glinz, Timmy Gy, Josh Hibschman, Patrik Keinonen, Travis Schnider, and Tao Su

Easy Theory Website: https://www.easytheory.org
Become a member:    / @easytheory
Donation (appears on streams): https://streamlabs.com/easytheory1/tip
Paypal: https://paypal.me/easytheory
Patreon:   / easytheory
Discord:   / discord

Merch:
Language Hierarchy Apparel: https://teespring.com/language-hierar...
Pumping Lemma Apparel: https://teespring.com/pumping-lemma-f...

If you like this content, please consider subscribing to my channel:    / @easytheory

▶SEND ME THEORY QUESTIONS◀
[email protected]

▶ABOUT ME◀
I am a professor of Computer Science, and am passionate about CS theory. I have taught many courses at several different universities, including several sections of undergraduate and graduate theory-level classes.

Auf dieser Seite können Sie das Online-Video Ogden's Lemma for Context-Free Languages Proof mit der Dauer stunde minuten sekunde in guter Qualität ansehen, das der Benutzer Easy Theory 23 Oktober 2021 hochgeladen hat, den Link mit Freunden und Bekannten teilen, dieses Video wurde auf Youtube bereits 4,688 Mal angesehen und es wurde von 90 den Zuschauern gefallen. Viel Spaß beim Betrachtenden Zuschauern gefallen!

2,474

106