שיעור 11 – נחום דרשוביץ
אוטומטים, למת הניפוח, שפות רגולריות, סגירות של רגולריות, ביטוי רגולרי.
מודלים חישוביים
מודלים חישוביים
מודלים חישוביים
תרגול 10 (גירסה ממוחשבת) – יהונתן ברנט
תודה קיריל! אוטומט סופי, DFA, אוטומט לא דטרמיניסטי, NFA, מעבר מNFA לאוטומט סופי, למת הניפוח.
מודלים חישוביים
תרגול 10 – יהונתן ברנט
תודה שירה! אוטומט סופי, DFA, אוטומט לא דטרמיניסטי, NFA, מעבר מNFA לאוטומט סופי, למת הניפוח.
מודלים חישוביים
תרגול 9 (גירסה ממוחשבת) – יהונתן ברנט
תודה קיריל! סבוכיות מקום, LBA, קונפיגורציות במכונת טיורינג, QSAT, co-NP Hard, NP-Hard
מודלים חישוביים
תרגול 9 – יהונתן ברנט
תודה שירה! סבוכיות מקום, LBA, קונפיגורציות במכונת טיורינג, QSAT, co-NP Hard, NP-Hard
מודלים חישוביים
שיעור 9 – נחום דרשוביץ
CNF, 3SAT, SAT, CSP, PSPACE, 1SAT, 2SAT, סבוכיות מקום, גרף קונפיגורציות.