פתרון שאלה 2
האסטרטגיה:
נלך עד לצד השמאלי של הסרט כדי לסרוק את הקלט משמאל לימין.
שימו לב: הייצוג הוא בינארי: 0 ו-1, ולא אונארי.
הרעיון: בכל שלב נסתכל על ביט אחד. הוספת הביט הבא שקולה בעצם למכפלה ב-2 והוספת ערך הביט שראינו. מה שנשמור בכל שלב הוא השארית. אם בסיום השארית תהיה 0, אזי נפעיל את TRUE. אחרת, המספר אינו מתחלק ב-3 ונפעיל את FALSE.
יותר בפירוט: b mod(3) = 2. הכפלנו ב-2 וקיבלנו: 2b mod(3) = 2*2 mod(3) = 1. וכן הלאה...
עבור הקלט הריק – נגדיר כישלון.