תורת השפות הפורמליות

236310

קישור לאתר הקורס

3

2

1

0

0

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

( 236343 ו- 234129 ) או ( 236353 ו- 236343 )

אביב 2018/19(תשע"ט) קיץ 2017/18 (תשע"ח)

פרופ. מיכאל קמינסקי

הקורס יתקיים בטאוב 201.

בתאריך 06.02.2019 יום ד משעה 9 עד השעה 12

בתאריך 03.03.2019 יום א משעה 9 עד השעה 12

חדרי בחינה מועדי וחדרי בחנים