שיחה:אוטומטים ושפות פורמליות/תכונות של שפות חסרות הקשר/למת הניפוח לשפות חסרות הקשר
הוספת נושאמראה
תגובה אחרונה: לפני 5 שנים מאת MrOklein
במשפט "ההוכחה זהה לאמור מעלה. תהיה L שפה ח"ה ונניח כי בדקדוק המינימלי המתאר אותה קיימים משתנים, כאשר לכל משתנה יש לכל היותר כללי יצירה"
לדעתי אמור להיות מוגדר משהו כמו המקסימום של מכפלת אורכי האפשרויות שמשתנה יכול לעבור אליהם. לדוגמא: אמור לגרום ל- להיות (כמובן אפשר לא לכתוב את הדבר המדויק, אבל לפחות להגיד.)