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

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

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

מקצועות קדם

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