דף נוסחאות מעודכן ל-2011 סימסטר א'
עודכן ע"י עידן סלונימסקי (תודה רבה לעידן ד. על העזרה!!)
עודכן ע"י עידן סלונימסקי (תודה רבה לעידן ד. על העזרה!!)
תודה שירה! המשך דקדוק חסר הקשר, בעיות הכרעה באוטומטים ודקדוקים.
המשך דקדוק חסר הקשר, חזרה על כריעות בעיית העצירה, מידע על הבחינה.
תודה שירה! הוכחה לאי רגולריות, דקדוק חסר הקשר, שפה חסרת הקשר, למת הניפוח, סגירות של שפות חסרות הקשר.
דקדוק חסר הקשר, עץ גזירה, פישוט דקדוקים, למת הניפוח לדקדוק חסר הקשר, סגירות בדקדוק חסר הקשר, שאלות של כריעות.
אוטומטים, למת הניפוח, שפות רגולריות, סגירות של רגולריות, ביטוי רגולרי.