קורסים
- מודלים חישוביים (10215) תקציר הקורס:
- מחשוב מקבילי ומבוזר (10324) תקציר הקורס:
- קומפילציה (10334) תקציר הקורס:
תקציר:
שפות פורמליות, מכונות מצבים סופיות דטרמיניסטיות ולא דטרמיניסטיות,שפות רגולריות, ביטויים רגולריים, דקדוקים חסרי הקשר, מכונות מחסנית,מכונות טיורינג ושפות כריעות וכריעות למחצה.תקציר:
ארכיטקטורת מחשבים מקביליים, תיכון ותכנות מקבילי, |
תקציר:
ניתוח לקסיקלי, יצור אוטומטי של מנתחים לקסיקליים ניתוח תחבירי מלמעלה למטה: predictive parsing ו- recursive descent ניתוח תחבירי מלמטה למעלה: shift reduce parsing תרגומים מונחי תחביר (syntax directed definitions) bison: כלי ליצור אוטומטי של מנתחים תחביריים סביבת זמן ריצה, יצור קוד ביניים עבור משפטי השמה, ביטויים ומבני בקרה בסיסיים |