מידע על אוטומטים ושפות פורמליות
שם מקצוע
אוטומטים ושפות פורמליות
מספר מקצוע
236353
אתר הקורס
קטלוג
סילבוס
אוטומטים ושפות רגולריות. אוטומטים לא דטרמיניסטיים. רדוקציה לאוטומטים דטרמיניסטיים. פעולות סגור של שפות רגולריות, הכרעה. משפטי נרוד וקליני. אלגברה של ביטויים רגולריים. מעבר מאוטומט לביטוי רגולרי ולהפך. שפות חסרות הקשר. צורות נורמליות. אוטומטים עם מחסנית. השפות המוגדרות על ידם הן חסרות הקשר, והמשפט ההפוך. למת הניפוח, פעולות סגור על שפות חסרות הקשר, דו-משמעות, PARSING.
מקצועות קדם
מקצועות צמודים
מקצועות ללא זיכוי נוסף
מידע סמסטריאלי חורף 2019/20(תש"ף)
עבור לסמסטר
המקצוע לא נלמד בסמסטר זה