אלפבתים, מילים ושפות
אוטומטים דטרמיניסטיים ולא דטרמיניסטיים
רדוקציה לאוטומט דטרמיניסטי
אוטומטים עם מעברי-אפסילון, ורדוקציה לאוטומט ללא מעברי-אפסילון
תכונות סגור של שפות רגולריות כולל היפוך, הומומורפיזמים, הומ' הפוכים, הצבות
ביטויים רגולריים - הגדרות, מעבר מאוטומט לביטוי רגולרי ולהיפך, הוכחת זהויות
למת הניפוח לשפות רגולריות
משפט נרוד
דקדוקים חסרי הקשר
דקדוקים רגולריים, המעבר מדקדוק כזה לאוטומט ולהיפך
פישוט דקדוקים
צורות נורמליות - חומסקי, גרייבך
למת הניפוח לשפות חסרות הקשר
אוטומט מחסנית
מעבר מדקדוק חסר הקשר לאוטומט מחסנית ולהיפך
תכונות סגירות של שפות חסרות הקשר
הלמה של אוגדן, רב-משמעות
בעיות הכרעה לשפות רגולריות ושפות חסרות הקשר
אוטומטים דטרמיניסטיים ולא דטרמיניסטיים
רדוקציה לאוטומט דטרמיניסטי
אוטומטים עם מעברי-אפסילון, ורדוקציה לאוטומט ללא מעברי-אפסילון
תכונות סגור של שפות רגולריות כולל היפוך, הומומורפיזמים, הומ' הפוכים, הצבות
ביטויים רגולריים - הגדרות, מעבר מאוטומט לביטוי רגולרי ולהיפך, הוכחת זהויות
למת הניפוח לשפות רגולריות
משפט נרוד
דקדוקים חסרי הקשר
דקדוקים רגולריים, המעבר מדקדוק כזה לאוטומט ולהיפך
פישוט דקדוקים
צורות נורמליות - חומסקי, גרייבך
למת הניפוח לשפות חסרות הקשר
אוטומט מחסנית
מעבר מדקדוק חסר הקשר לאוטומט מחסנית ולהיפך
תכונות סגירות של שפות חסרות הקשר
הלמה של אוגדן, רב-משמעות
בעיות הכרעה לשפות רגולריות ושפות חסרות הקשר
