נחום דרשוביץ

המשך דקדוק חסר הקשר, חזרה על כריעות בעיית העצירה, מידע על הבחינה.

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

אוטומטים, למת הניפוח, שפות רגולריות, סגירות של רגולריות, ביטוי רגולרי.

אוטומטים, למת הניפוח, שפות רגולריות, סגירות של רגולריות, ביטוי רגולרי.

CNF, 3SAT, SAT, CSP, PSPACE, 1SAT, 2SAT, סבוכיות מקום, גרף קונפיגורציות.