תבנית:אוטומטים ושפות פורמליות/תכונות של שפות רגולריות

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