אוטומטים ושפות פורמליות/תכונות של שפות חסרות הקשר/תכונות סגור: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
סגירויות |
|||
שורה 50:
=== הפרש ===
אם <math>L_1,L_2</math> חסרות הקשר אזי <math>L=L_1 \smallsetminus L_2</math> הינה למעשה <math>L= L_1 \cap \overline {L_2}</math> ומכיוון שהפעולות לעיל אינן סגורות, גם פעולה זו אינה סגורה, כלומר, ייתכן ש-<math>L</math> אינה ח"ה.
{{אוטומטים ושפות פורמליות|מוגבל}}
[[קטגוריה:אוטומטים ושפות פורמליות|דקדוק חסר הקשר]]
| |||