אוטומטים – עבודה :4שפות חסרות הקשר ואוטומט מחסנית תאריך הגשה27.12.2015 : שימו לב :בכל השאלות ,במידה ונדרשת הוכחה יש לספק הוכחה פורמלית מלאה בדומה לנלמד בכיתה/תרגול. חלק משאלות העבודה לקוחות מבנק השאלותhttp://www.cs.bgu.ac.il/~auto161/wiki.files/Qbank.pdf : שאלה 1 מצא דקדוק חסר הקשר ואוטומט מחסנית לשפות הבאות: אL = {𝑎𝑛 𝑏 𝑚 𝑐 𝑘 |𝑘 = 𝑛 + 𝑚} . בL = {𝑎𝑛 𝑏 𝑚 𝑐 𝑘 |𝑘 ≠ 𝑛 + 𝑚} . יש לספק הוכחה לשוויון של שפת הדקדוק שהגדרת עם השפות הנ"ל. שאלה 2 הוכיחו שאוסף השפות חסרות ההקשר סגור תחת הפעולות הבאות: א𝑓𝜎 (L) = {𝑤|𝜎𝑤𝜖𝐿} . ב .הומומורפיזם הגדרה( :כפי בתרגול )5 תהי h : 1 *2פונקציה .ניתן להרחיב את hלפונקציה המוגדרת על כל * 1באופן הבא: h( ) h( w ) h( w)h( ) for w 1* , 1 כאשר ההרחבה של hמסומנת ע"י hעצמה .נשים לב כי hמוגדרת היטב וכן ) h( w1w2 ) h( w1 )h( w2עבור *. w1 , w2 1 פונקציה hהמקיימת את התכונות הנ"ל נקראת הומומורפיזם מ 1* -אל . *2 שאלה 3 שאלה 86מבנק השאלות .סעיפים .a,b,c,dאין צורך לספק הוכחה. שאלה 4 נכון/לא נכון .אם הטענה נכונה יש להוכיח אותה ,אם לא נכונה יש להפריך ולהסביר. עבור שפה רגולרית 𝐿1ושפה חסרת הקשר 𝐿2לא רגולרית. א .לכל 𝐿1ו 𝐿1 ∩ 𝐿2 , 𝐿2 -בהכרח רגולרית. ב .קיימות שפות 𝐿1 ′ו 𝐿2 ′ -חסרות הקשר לא רגולריות ,כך ש 𝐿1 ′ ∪ 𝐿2 ′ -שפה רגולרית. ג .כל שפה חסרת הקשר אינסופית מכילה שפה רגולרית אינסופית. ד 𝐿2 .חסרת הקשר. בהצלחה!
© Copyright 2024