אוטומטים ושפות פורמליות/תכונות של שפות חסרות הקשר/צורות נורמליות לדקדוקים חסרי הקשר: הבדלים בין גרסאות בדף

כאשר <math>A,B,C</math> משתנים ו-<math>x,y</math> טרמינלים. כלומר, כל דקדוק חסר-הקשר ניתן להביע על-ידי דקדוק שכל כלל בו הוא אחד מהצורות לעיל. צורה זו אינה מינימלית. למשל, את הכלל <math>A\to xBy</math> ניתן להחליף בכללים יותר פשוטים, בהן כל משנהמשתנה הופך או לשני משתנים או לאות בודדת. צורה זו ידועה בתור הצורה הנורמאלית של חומסקי.