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

236310

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

3

2

1

0

0

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

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

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

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

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

לא קיים