Всякий Конечный язык является регулярным языком Объединение регулярных языков дает регулярный язык Умножение регулярных языков дает регулярный язык Итерация регулярного языка дает регулярный язык