אוטומטים ושפות פורמליות/תכונות של שפות חסרות הקשר/צורות נורמליות לדקדוקים חסרי הקשר: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
←הצורה הנורמאלית של גרייבאך: הרחבה |
|||
שורה 21:
#ביטול כללי-אפסילון, דהיינו, כללים מהצורה <math>A\to\varepsilon</math>
#ביטול כללי-יחידה, דהיינו כללים מהצורה <math>A\to B</math> עבור שני משתנים A,B.
נושא נוסף הינו משתנים חסרי-משמעות, למשל, משתנים שלעולם לא ניתן להגיע אליהם אם מתחילים במשתנה ההתחלתי S ומתקדמים אך ורק לפי כללי הגזירה. אנו נניח שבדקדוק הנתון אין משתנים
====ביטול מעברי-אפסילון====
| |||