פעולות על שפות וסגירות רגולריות
אוטומט סופי לא דטרמיניסטי
אוטומט סופי דטרמיניסטי לא מלא
מכונת טיורינג
אוטומט סופי דטרמיניסטי מלא
אוטומט מחסנית
