מודלים חישוביים

תודה שירה! המשך דקדוק חסר הקשר, בעיות הכרעה באוטומטים ודקדוקים.

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

תודה שירה! הוכחה לאי רגולריות, דקדוק חסר הקשר, שפה חסרת הקשר, למת הניפוח, סגירות של שפות חסרות הקשר.

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

תודה קיריל! אוטומטים ולמת הניפוח.

תודה שירה! אוטומטים ולמת הניפוח.

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

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

תודה קיריל! אוטומט סופי, DFA, אוטומט לא דטרמיניסטי, NFA, מעבר מNFA לאוטומט סופי, למת הניפוח.

תודה שירה! אוטומט סופי, DFA, אוטומט לא דטרמיניסטי, NFA, מעבר מNFA לאוטומט סופי, למת הניפוח.

תודה קיריל! סבוכיות מקום, LBA, קונפיגורציות במכונת טיורינג, QSAT, co-NP Hard, NP-Hard

תודה שירה! סבוכיות מקום, LBA, קונפיגורציות במכונת טיורינג, QSAT, co-NP Hard, NP-Hard

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

תודה קיריל!