הדפים שלהלן מקשרים לדף אוטומטים ושפות פורמליות/תכונות של שפות רגולריות/סגירות תחת פעולות שונות/תרגילים:
מוצג פריט אחד