שיחה:אוטומטים ושפות פורמליות/תכונות של שפות חסרות הקשר/למת הניפוח לשפות חסרות הקשר

במשפט "ההוכחה זהה לאמור מעלה. תהיה L שפה ח"ה ונניח כי בדקדוק המינימלי המתאר אותה קיימים $|V|=t$ משתנים, כאשר לכל משתנה יש לכל היותר $m$ כללי יצירה"

לדעתי $m$ אמור להיות מוגדר משהו כמו המקסימום של מכפלת אורכי האפשרויות שמשתנה יכול לעבור אליהם. לדוגמא: $S\to SS|SaS|SabSc$ אמור לגרום ל- $m$ להיות $2\cdot 3\cdot 5$ (כמובן אפשר לא לכתוב את הדבר המדויק, אבל לפחות להגיד.)

MrOklein (שיחה) 23:13, 21 ביולי 2019 (IDT)