פורטל הסטודנטים

אוטומטים ושפות רגולריות. אוטומטים לא דטרמיניסטיים. רדוקציה לאוטומטים דטרמיניסטיים. פעולות סגור של שפות רגולריות, הכרעה. משפטי נרוד וקליני. אלגברה של ביטויים רגולריים. מעבר מאוטומט לביטוי רגולרי ולהפך. שפות חסרות הקשר. צורות נורמליות. אוטומטים עם מחסנית. השפות המוגדרות על ידם הן חסרות הקשר, והמשפט ההפוך. למת הניפוח, פעולות סגור על שפות חסרות הקשר, דו-משמעות, PARSING.

פקולטה: מדעי המחשב
|תואר ראשון |תארים מתקדמים

מקצועות קדם

(104290 - תורת הקבוצות ו- 106156 - לוגיקה מתמטית) או 234293 - לוגיקה ותורת הקבוצות למדעי המחשב

מקצועות צמודים

104291 - אלגוריתמים קומבינטוריים 234247 - אלגוריתמים 1

מקצועות ללא זיכוי נוסף

214912 - מודלים חישוביים לפרחי הוראה 234129 - מב.לתורת הקבוצות ואוטומטים למדמ"ח

• Introduction to automata theory, languages, and computation / John E. Hopcroft, Jeffrey D. Ullman. - Hopcroft, John E.
• אוטומטים ושפות פורמליות [משאב אלקטרוני] שמואל זקס ... [ואחרים].
• אוטומטים ושפות פורמליות / [שמואל זקס, נסים פרנסיז ; צוות הפיתוח יהודית גל-עזר (ראש הצוות) ... [ואחרים]]. - זקס, שמואל
• אוטומטים ושפות פורמליות / [שמואל זקס, נסים פרנסיז ; צוות הפיתוח יהודית גל-עזר (ראש הצוות), ענת לרנר, בני פרידמן]. - זקס, שמואל