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

תוכן הדף אינו נתמך בשפות אחרות.
מתוך ויקיספר, אוסף הספרים והמדריכים החופשי

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

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

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