Here we ask the question of how big the CFG is from the PDA to CFG conversion. The CFG to PDA conversion, in contrast, results in a PDA where the size can be easily determined from only knowing the number of variables and rules in the CFG. Here, we determine that we can only know the number of Type I and Type II rules exactly (as well as number of variables), and for Type III, we can find a lower and upper bound on the number of rules.
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
#easytheory #gate #theory
Youtube Live Streaming (Sundays) - subscribe for when these occur.
Social Media:
Facebook Page: / easytheory
Facebook group: / easytheory
Twitter: / easytheory
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
Gold Supporters: Micah Wood
Silver Supporters: Timmy Gy
▶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.