דילוג לתוכן ראשי

קורסים

  • מודלים חישוביים (10215)
  • תקציר הקורס:

    תקציר:

    שפות פורמליות, מכונות מצבים סופיות דטרמיניסטיות ולא דטרמיניסטיות,שפות רגולריות, ביטויים רגולריים, דקדוקים חסרי הקשר, מכונות מחסנית,מכונות טיורינג ושפות כריעות וכריעות למחצה.
  • מחשוב מקבילי ומבוזר (10324)
  • תקציר הקורס:

    תקציר:

    ארכיטקטורת מחשבים מקביליים, תיכון ותכנות מקבילי,

    MPI, OpenMP ,CUDA, מחשוב מקבילי עם מעבד גראפי , אלגוריתמים מקביליים ויישומם.
  • קומפילציה (10334)
  • תקציר הקורס:

    תקציר:

    ניתוח לקסיקלי, יצור אוטומטי של מנתחים לקסיקליים

    ניתוח תחבירי מלמעלה למטה: predictive parsing ו- recursive descent

    ניתוח תחבירי מלמטה למעלה: shift reduce parsing

    תרגומים מונחי תחביר (syntax directed definitions)

    bison: כלי ליצור אוטומטי של מנתחים תחביריים

    סביבת זמן ריצה, יצור קוד ביניים עבור משפטי השמה, ביטויים ומבני בקרה בסיסיים

    linker, אופטימיזציות בסיסיות, נושאים נוספים ככל שיותיר הזמן