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

{{אוטומטים ושפות פורמליות}}
בפרק זה נראה מספר תכונות סגירות של שפות חסרות הקשר. על-פי רוב נעזר בדקדוק חסר-הקשר על-מנת להשלים הוכחות אלו.

== סגירות לאיחוד==
יהיו <math>L_1, L_2</math> שפות ח"ה, ויהיו <math>G_1=(V_1,\Sigma, P_1,S_1), G_2=(V_2,\Sigma,P_2,S_2)</math>  הדקדוקים ח"ה המתאימים. 

השפה <math>L=L_1 \cup L_2</math> הינה חסרת הקשר, מכיוון שניתן ליצור את הדקדוק <math>G=(V,\Sigma, P,S)</math> כך ש
* <math>V= V_1 \cup V_2</math>
* <math>P = P_1 \cup P_2</math>
* <math>S = S_1 \mid S_2</math>

כלומר המשתנה הראשון יכול להוביל אל <math>S_1</math>, אשר יוצר את כל המילים של <math>L_1</math>, או אל <math>S_2</math>, אשר יוצר את כל המילים של <math>L_2</math>.

==סגירות לשרשור ==
יהיו <math>L_1, L_2</math> שפות ח"ה, ויהיו <math>G_1=(V_1,\Sigma, P_1,S_1), G_2=(V_2,\Sigma,P_2,S_2)</math>  הדקדוקים ח"ה המתאימים. 

השפה <math>L=L_1L_2</math> הינה חסרת הקשר, מכיוון שניתן ליצור את הדקדוק <math>G=(V,\Sigma, P,S)</math> כך ש
* <math>V= V_1 \cup V_2</math>
* <math>P = P_1 \cup P_2</math>
* <math>S = S_1S_2</math>

המשתנה ההתחלתי מייצר מחרוזת שתחילתה במילה מ<math>L_1</math> וסופה מילה מ-<math>L_2</math>, ולכן יוצר את כל השרשורים.

== סגירות להפיכה לאחור ==
אם <math>L</math> שפה ח"ה אזי גם <math>L^R</math> חסרת הקשר. נבנה דקדוק <math>G^R</math> מהדקדוק של <math>L</math> בכך ש"נהפוך" כל כלל יצירה. פורמלית, לכל כלל יצירה <math>A \to \alpha</math> ב-P (כך ש<math>A\in V, \alpha \in (\Sigma\cup V)^*</math>, נוסיף ב <math>G^R</math> את כלל היצירה <math>A \to \alpha^R</math>. 

קל לראות שהדקדוק <math>G^R</math> יוצר בדיוק את כל המילים ההפוכות מאלו מיוצרות על-ידי <math>G</math>.

== חיתוך עם שפה רגולרית ==
ניזכר כיצד הוכחנו את פעולת החיתוך עבור אוטומט סופי: בהנתן שתי מכונות עבור שתי השפות עליהן מבצעים חיתוך, בנינו אוטומט סופי ש"מריץ" את שתי המכונות במקביל, ומקבל רק אם שתיהן קיבלו. כל מצב במכונה החדשה הייתה זוג מצבים - הראשון מתאר את מצבה של המכונה הראשונה והשני מתאר את מצבה של המכונה השנייה.

נשים לב, שאם שתי המכונות הינן אוטומט מחסנית - אנו נתקלים בבעיה, כי הן צריכות כעת לחלוק מחסנית (ואכן, בהמשך נראה שפעולת החיתוך '''אינה''' סגורה עבור שפות ח"ה.) עם זאת, במידה שאחת מהשפות הינה רגולרית, אחת המכונות ''לא משתמשת במחסנית'', ואנחנו יכולים לבצע את הסימולציה בהצלחה. 

באופן פורמלי, בהנתן אוטומט סופי <math>D = (Q_D, \Sigma, q^D_0, F_D, \delta_d)</math> עבור <math>L_1</math> (רגולרית) ואוטומט מחסנית <math> P=(Q_P,\Sigma, \Gamma, q^P_0, F_P, \delta_P)</math> עבור <math>L_2</math> (ח"ה), נוכל לבנות אוטומט מחסנית חדש
<center><math>C = (Q, \Sigma, \Gamma, q_0, F, \delta)</math></center>
כך שמתקיים:
* <math>Q = (Q_D \times Q_P)</math>
* <math>q_0 = (q^D_0, q^P_0)</math>
*<math>F\subseteq Q</math> כך שכל מצב <math>(a,b)\in F</math> מקיים <math>a\in F_D, b\in F_P</math>
* פונקציית המעברים מתארת מעבר של כל אחת מהמכונות בנפרד, כך שרק המכונה P משתמשת במחסנית. לכל מעבר <math>\delta_D(a,x)\to b</math> באוטומט D ומעבר <math>\delta_P(c,x,\sigma)\to(d,\gamma)</math> באוטומט המחסנית P, נוסיף למכונה החדשה את המעבר <center><math>\delta((a,c),x,\sigma)\to((b,d),\gamma)</math></center> נשים לב שבשתי המכונות הקלט הנקרא הינו זהה - x.

== פעולות שאינן סגורות עבור שפות חסרות הקשר ==
=== חיתוך ===
קל לראות שהשפות <math>L_1 = \{0^n1^n2^m \mid n,m\ge 0\}, L_2 =\{0^m1^n2^n\mid n,m\ge 0\}</math> הינן חסרות הקשר, אבל השפה 
<math>L_1\cap L_2 = \{0^n1^n2^n \mid n\ge 0\}</math>
אינה חסרת הקשר (זאת מוכיחים בעזרת [[../למת הניפוח לשפות חסרות הקשר/]])

=== משלים ===
עבור אוטומט סופי '''דטרמיניסטי''' הפכנו כל מצב מקבל למצב לא מקבל ולהיפך, וכך קיבלנו סגירות למשלים. באוטומט סופי לא-דטרמינסטי, פעולה כזו משנה את השפה המתקבלת, אבל מכיוון שאוטומט סופי דטרמיניסטי שקול ללא דטרמיניסטי, יכלנו להפוך את האסל"ד לאס"ד ואז לבצע את הפיכת המצבים. מאידך, אוטומט מחסנית הינו לא-דטרמיניסטי, '''ואינו שקול לאוטומט מחסנית דטרמיניסטי'''. פעולת המשלים אינה סגורה עבור שפות חסרות הקשר.

=== הפרש ===
אם <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> אינה ח"ה.



{{אוטומטים ושפות פורמליות|מוגבל}}
[[קטגוריה:אוטומטים ושפות פורמליות|דקדוק חסר הקשר]]