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

מתוך ויקיספר, אוסף הספרים והמדריכים החופשי
קפיצה לניווט קפיצה לחיפוש

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

לדעתי אמור להיות מוגדר משהו כמו המקסימום של מכפלת אורכי האפשרויות שמשתנה יכול לעבור אליהם. לדוגמא: אמור לגרום ל- להיות (כמובן אפשר לא לכתוב את הדבר המדויק, אבל לפחות להגיד.)

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