‫מאיר באום ‪200704468‬‬

‫ממן ‪12‬‬
‫שאלה ‪1‬‬
‫מצב מלכודת לא‬
‫מצויר‪ .‬כל חץ שלא‬
‫מופיע מוביל בעצם‬
‫למלכודת‪.‬‬

‫א‬
‫האוטומט הוא‬
‫בעצם שרשור של‬
‫שלושה אוטומטים‬
‫המשורשרים‬
‫בעזרת מסעי‬
‫אפסילון‪ .‬הראשון‬
‫מקבל ‪ 0‬או יותר‬
‫ים‪ .‬אחריו יש‬
‫אוטומט שמקבל‬
‫צירוף של ים‬
‫שמתחלק ב‪ 3‬עם‬
‫שארית ‪ .2‬אחריו‬
‫יש אוטומט‬
‫שמקבל שוב ‪ 0‬או‬
‫יותר ים ואז או‬
‫‪.‬‬ ‫או‬

‫ב‬
‫עצמו והחלק שמהרצף‬ ‫‪ ,‬הרצף‬ ‫אנו מחלקים את האוטומט לשלושה חלקים לוגיים‪ .‬החלק עד לרצף‬
‫‪ .‬עד אליו‬
‫האוטומט דואג לודא‬
‫שאין ודואג גם‬
‫לוודא שבכל אות‬

‫זוגי נהיה חזרה ב‬

‫‪ .‬ברגע שמגיע‬
‫הרצף‪ ,‬האוטומט‬
‫מחולק למסלול זוגי‬
‫ואי זוגי‪ .‬האי זוגי‬
‫מסתיים במצב לא‬

‫והזוגי‬ ‫מקבל‬
‫מסתיים במצב‬

‫‪ .‬החלק‬ ‫מקבל‬

‫‪1‬‬
 ‫מאיר באום ‪200704468‬‬

‫המייצג את המצב בו הכל תקין‬ ‫ו‬ ‫ומדלג בין המצבים המקבלים ל‬ ‫השלישי מוודא רק שאין את הרצף‬
‫חוץ מהזוגיות‪.‬‬

‫‪2‬‬
 ‫מאיר באום ‪200704468‬‬

‫שאלה ‪2‬‬
‫א‬
‫ביטוי רגולרי‬

‫הסבר‬
‫)‪.‬‬ ‫‪( .‬זהו החלק השמאלי‬ ‫אז היכנשהו מימין לו יש‬ ‫אנו רוצים מילים שאם יש בהם‬
‫אז המילה תתקבל בכל מקרה‪ .‬המשמעות היא שהמילה מכילה כמות של ‪ 0‬או‬ ‫כמובן שאם לא קיים הרצף‬

‫)‬ ‫יחיד (זהו החלק הימני‬ ‫ים מופרדים ביניהם על ידי‬ ‫יותר רצפים של ‪ 0‬או יותר‬

‫ב‬
‫ביטוי רגולרי‬

‫הסבר‬
‫הנדרש חייב להופיע בתחילת המילה כי אחרת הוא יופיע‬ ‫תחילה נשים לב שכדי שהתנאי יתקיים‪ ,‬הרצף‬
‫שאחריו משורשרים ‪ 0‬או יותר‬ ‫ים המכיל את‬ ‫בניגוד לדרישה‪ .‬ולכן הביטוי מורכב מרצף‬ ‫אחרי‬
‫יחיד‪.‬‬ ‫ים ומסתיימים ב‬ ‫רצפים המתחילים ב‪ 1‬או יותר‬

‫‪3‬‬
 ‫מאיר באום ‪200704468‬‬

‫שאלה ‪3‬‬
‫א‬
‫הביטויים מציינים שפות שונות‬

‫דוגמה נגדית‬
‫‪.‬‬ ‫נתבונן במילה‬

‫כי היא לא נפתחת ב ‪.‬‬ ‫המילה לא מתקבלת בביטוי‬

‫‪.‬‬ ‫אך היא מתקבלת לחלוטין בביטוי‬

‫ב‬
‫הביטויים מציינים שפות שונות‬

‫דוגמה נגדית‬
‫‪.‬‬ ‫נתבונן במילה‬

‫‪.‬‬ ‫אחת וזה לא מספק את החלק‬ ‫כי יש בה רק‬ ‫המילה לא מתקבלת בביטוי‬

‫‪.‬‬ ‫אך היא מתקבלת לחלוטין בביטוי‬

‫‪4‬‬
 ‫מאיר באום ‪200704468‬‬

‫ג‬
‫מציינים את אותה השפה‪.‬‬ ‫ו‬ ‫הביטויים‬

‫הוכחת כיוון ראשון‬

‫ולכן ברור כי כל שפה מוכלת בה ובפרט‬ ‫היא פשוט שפת כל המילים מעל‬

‫‪.‬‬

‫הוכחת כיוון שני‬

‫באינדוקציה על‬ ‫‪ .‬נוכיח כי‬ ‫תהא‬

‫בסיס‬

‫היא מילה בכל שפה ובפרט‬ ‫‪.‬‬ ‫כלומר‬ ‫נניח‬

‫צעד‬

‫‪.‬‬ ‫ונוכיח עבור‬ ‫נניח כי הטענה נכונה עבור‬

‫ולכן מהנחת האינדוקציה מתקיים‬ ‫‪ .‬מתקיים‬ ‫אות בשפה‪ .‬נסמן‬ ‫תהא‬

‫‪ .‬נחלק למקרים‪:‬‬

‫אזי‬ ‫אם‬

‫אזי‬
‫אם‬
‫*‪w  w0  a  (b a   ) b a  (b a   ) (b a   )  (b a   ) (b a   )  (b a   )  (b a   ) b‬‬
‫*‬ ‫‪‬‬ ‫*‬ ‫*‬ ‫‪‬‬ ‫*‬ ‫*‬ ‫*‬ ‫*‬ ‫*‬ ‫‪‬‬ ‫*‬ ‫‪‬‬

‫ולכן‬ ‫בכל מקרה ראינו כי‬

‫‪ .‬מש"ל‪.‬‬ ‫הראינו הכלות משתי הצדדים ולכן‬

‫‪5‬‬
 ‫מאיר באום ‪200704468‬‬

‫שאלה ‪4‬‬
‫מצב מלכודת לא מצוייר‪ .‬כל חץ שלא מופיע מוביל בעצם למלכודת‪( .‬אם נסמן את הבור ב מתקיים‬

‫שאלה ‪5‬‬
‫גוררת ישירות שקיימים האוטומטים המוגדרים ושלאוטומטים יש מצב‬ ‫ההוכחה מניחה שהרגולריות של‬
‫מקבל יחיד ‪ .‬הנחה זו נכונה תמיד רק על אוטומטים לא דטרמיניסטיים ובפרט אוטומטים עם מסעי ‪.‬‬

‫נוסף ואז מסלקים אותו וכאן טוענת ההוכחה שנקבל אוטומט סופי‬ ‫בהמשך ההוכחה אנו מוסיפים מסע‬
‫דטרמיניסטי‪ .‬הדבר לא נכון‪ .‬לא סילקנו את מסעי ה הנותרים‪.‬‬

‫הערות‬
‫תודה רבה לבודקת!‬ ‫‪‬‬

‫‪6‬‬