ביטויים רגולריים

בפוסט האחרון שלנו על שפות רגולריות הוכחתי שניתן לבנות שפה רגולרית מתוך שפות פשוטות מאוד (סינגלטונים שמכילים מילה אחת מאורך 1 לכל היותר) ושלוש פעולות יצירה פשוטות – איחוד, שרשור וסגור-קלייני. ביטויים רגולריים הם שיטת ייצוג לשפות רגולריות שמשתמשת בדיוק באותן שפות פשוטות ופעולות יצירה. שיטת הייצוג הזו היא כל כך מוצלחת עד שמשתמשים בה …

פרדוקס המבחן האמריקאי

נתקלתי בדף הפייסבוק של מכון דוידסון בחידה הזו, שכבר ראיתי אינספור גלגולים שלה ברחבי האינטרנט: החידה מוצגת לפעמים בתור "פרדוקס" למרות שאני חושב שהיא אינה כזו; השם "פרדוקס המבחן האמריקאי" הוא המצאה שלי כדי שתהיה לפוסט כותרת מעניינת. ובכן, מה התשובה? מי שרוצה להיות ממש קטנוני כנראה יגיד ש"באופן אקראי" לא מגדיר חד משמעית באיזו …

מיקסומיה – תורת הטבע השלמה

בשבועות האחרונים היה קשה להתעלם מפרסומת פייסבוק שחלחלה לה אט אט אל המעגלים שלי. בואו ניתן לה לדבר בעד עצמה: מי שילחץ על הלינק יגיע לאתר שכותרתו "מיקסומיה – תורת הטבע השלמה" ויש בו כל מני… דברים. הרושם המיידי שהתקבל אצלי הוא שמדובר על טרחן פיזיקלי. וזה מצער עבורי, כי פיזיקה היא לא התחום שלי. …