שם הפריט: אוטומטים סופיים
שם המחבר: אודה-ליה עוזיאל
| שם הפריט: | אוטומטים סופיים |
| מחברים: | אודה-ליה עוזיאל |
| מקום הפיתוח: | המחלקה להוראת המדעים, מכון ויצמן למדע |
| תחום דעת: | מתמטיקה, הוראת המדעים, הוראת המתמטיקה |
| סוג הפריט: | עבודת גמר |
| שנת פרסום: | 2012 |
| מילות מפתח: | אוטומטיים סופיים, אוטומט סופי, תורת האוטומטים, אוטומט לא דטרמיניסטי, אסל"ד, אס"ד, פרס טיורינג, אלגוריתמים לא דטרמיניסטיים, אלגוריתם לא דטרמיניסטי, אוטומט סופי דטרמיניסטי, אוטומט סופי לא דטרמיניסטי, שפה רגולרית, שפות רגולריות, שפה לא רגולרית, ביטוי רגולרי, ביטויים רגולריים, Finite Automaton, Finite-state machine. |
| גודל הקובץ: | 4.61Mb |
| הפנייה לפריט: | http://stwww.weizmann.ac.il/teachersacademy/maagar/uploads/03072012_6537536855.doc |
| מקור: | תוכנית רוטשילד-ויצמן למצוינות בהוראת המדעים |
| תקציר: | מטרת העבודה הייתה להציג יחידה מעניינת וחשובה בתורת האוטומטים, שחושפת מעט את 'מאחורי הקלעים' של שפות תכנות נפוצות. האפשרות ללמוד ולהיחשף להמצאה תיאורטית שיש לה יישום ישיר לחיינו- מחדדת את החשיבות שיש לתחום המתמטי בעיקר בעיני התלמידים שמרבים להתבדח במהלך התיכון שאף פעם לא נדרשו במכולת לשלם על ידי חישוב מודולרי. העבודה פותחת בסקירה היסטורית והגדרות של אוטומטים, שפות רגולריות וביטויים רגולריים. לאחר מכן מופיעים שני משפטים חשובים בתורת האוטומטים: המשפט הראשון עוסק בכח החישוב שיש לאוטומטים דטרמיניסטיים לעומת כח החישוב שיש לאוטומטים לא דטרמיניסטיים. המשפט השני עומד על כך כי אוטומטים סופיים שקולים לביטויים רגולריים, מה שכלל לא נראה מחייב במבט ראשון. ולסיום מצוינים יישומים במדעי המחשב של ביטויים רגולריים בפיתוח תוכנה. |
| מקוריות: | מקורי |
| קהל יעד: | מורים ותלמידים למתמטיקה בחטיבה העליונה |
| הערות: | מנחה: פרופ' מוטי בן ארי |
| מילון מושגים מדעיים: |
23
נוב
2016
נוב
2016
0