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

תוכן שנמחק תוכן שנוסף
Gran (שיחה | תרומות)
Gran (שיחה | תרומות)
מ ניווט
שורה 1:
{{אוטומטים ושפות פורמליות}}
בפרק זה נראה מספר תכונות סגירות של שפות חסרות הקשר. על-פי רוב נעזר בדקדוק חסר-הקשר על-מנת להשלים הוכחות אלו.