תרגול 13 – יהונתן ברנט
תודה שירה! המשך דקדוק חסר הקשר, בעיות הכרעה באוטומטים ודקדוקים.
תודה שירה! המשך דקדוק חסר הקשר, בעיות הכרעה באוטומטים ודקדוקים.
תודה שירה! הוכחה לאי רגולריות, דקדוק חסר הקשר, שפה חסרת הקשר, למת הניפוח, סגירות של שפות חסרות הקשר.
תודה שירה! אוטומט סופי, DFA, אוטומט לא דטרמיניסטי, NFA, מעבר מNFA לאוטומט סופי, למת הניפוח.
תודה קיריל! אוטומט סופי, DFA, אוטומט לא דטרמיניסטי, NFA, מעבר מNFA לאוטומט סופי, למת הניפוח.
תודה קיריל! סבוכיות מקום, LBA, קונפיגורציות במכונת טיורינג, QSAT, co-NP Hard, NP-Hard
תודה שירה! סבוכיות מקום, LBA, קונפיגורציות במכונת טיורינג, QSAT, co-NP Hard, NP-Hard