מידע על תורת השפות הפורמליות
שם מקצוע
תורת השפות הפורמליות
מספר מקצוע
236310
אתר הקורס
נקודות
3
שעות שבועיות
הרצאה
2
תרגיל
1
מעבדה
0
סמינר/פרויקט
0
קטלוג
סילבוס
דקדוקים ושפות פורמליות, היררכית השפות של חומסקי, דקדוקים מטיפוס 0, השפות הניתנות למניה רקורסיבית ומכונות טיורינג, שפות בעלות הקשר ואוטומטים חסומים לינארית, שפת חסרות הקשר - אפיונים, משפטי הומומורפיזם ותת משפחות, אוטומטי מחסנית - מודלים שונים, בעיות הכרעה ואי-הכרעה בשפות, תכונות סגירות, סיבוכיות זמן ומקום של מכונות טיורינג המזהות שפות, חסמים לסיבוכיות הזמן והמקום של משפחות שונות של השפות, סיבוכיות של בעיות שונות בתורת השפות.
מקצועות קדם
מידע סמסטריאלי חורף 2018/19(תשע"ט)
עבור לסמסטר
אחראים
פרופ. מיכאל קמינסקי
הערות
הקורס יתקיים בטאוב 201.
מועדי בחינות
מועד א
בתאריך 06.02.2019 יום ד משעה 9 עד השעה 12
מועד ב
בתאריך 03.03.2019 יום א משעה 9 עד השעה 12
מיקום
קבוצות רישום
סוג | יום | שעה | בניין | חדר |
הרצאה תרגול | ב ב | 10:3 - 12:3 12:3 - 13:3 |