‫(‪)-8‬המצב ההתחלתי הוא ‪ ?qstart1‬ניסיתי להריץ‬
‫על ‪ 01‬ונתקעתי ב‪q0-‬‬
‫רווח לא יכול להיות חלק מא"ב קלט‬
‫אין כזה דבר א"ב פלט‪ ,‬יש א"ב קלט וא"ב סרט‬
‫כאן מכונה צריכה לקבל או לדחות‬
‫ולא להחזיר פלט‬
‫(‪)-9‬‬
‫דוגמה לא טובה‪ ,‬זו שפת כל‬
‫המילים מעל {‪ , }0,1‬אפשר פשוט‬
‫להגדיר שמצב התחלתי הוא מקבל‬
‫גם במודל ‪2023‬‬
‫בפונקצית המעברים שציינת רק‬
‫מילה ריקה מתקבלת‬
‫(‪)-13‬הסרט השני מכיל רק רווחים‬
‫בהתחלה‪ ,‬אין אצלך קריאה של‬
‫רווח בסרט השני במעבר מ‪ q0-‬ל‪-‬‬
‫‪q1‬‬
‫(‪)-9‬פתרון לא ברור לסעיף א‪ ,‬ניתן‬
‫לראות את פתרון הממ"ן באתר‬
‫(‪)-15‬פעם ראשונה שמגיעים ל‪q4-‬‬
‫נתקעים כי הראש רואה רווח‬