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

(3)
(a) השימוש ב-halt בהגדרת f אינו תקין (לא חשיב; הרדוקציה אינה טובה)
7- נקודות

(6)
שים לב שזה לא מבצע את הדרוש אלא מבצע counter כפול ( גם ב-a וגם ב-b) ולא מתאר מצב של הכפלה ב-2
10- נקודות

(7)
(a)
  (i) "שקולה לשאלה האם התוכנית מתאימה ל-STS עוצרת..." - לא נכון; השאלה כריעה, ראה פתרונות
  5- נקודות
  (ii) "ולכן הוא מתאים לתוכנית סופית בעלת תחום סופי של קלטים..." - חא נכון, אבל כן נכון שתחום סופי של קונפיגורציות. ראה פתרונות

ציון: 83