הערות:
*******

(3)
בשני הסעיפים צריך להראות שאפשר לממש בתכנות או ב-TM או ב-''TM
2- נקודות

(4)
(b) אם 1-גג כבר בא"ב? - צריך לציין כי מניחים ש-1-גג לא בא"ב או שלוקחים סמן כלשהו שידוע שאינו בא"ב
1- נקודות

(c) חסרה הוכחה ש-Lc אינה כריעה
5- נקודות

(6)
(a) בשביל חיתוך לא צריך סטפר

(7) אין צורך בהגדרה שניתנה ל-zigzag

ציון: 97