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

=== חיתוך ===

קל לראות שהשפות <math>L_1 = \{0^n1^n2^m \mid n,m\ge 0\}, L_2 =\{0^m1^n2^n\mid n,m\ge 0\}</math> הינן חסרות הקשר, אבל השפה

אינה חסרת הקשר (זאת מוכיחים בעזרת [[../למת הניפוח לשפות חסרות הקשר/]])