Следовательно, D есть подполугруппа 2, порожденная множеством D. Говорят, что подмножество в 2 регулярно, если ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Арбиб М.N.
Алгебраическая теория автоматов,языков и полугрупп
Следовательно, D есть подполугруппа 2, порожденная множеством D. Говорят, что подмножество в 2 регулярно, если оно конечно или если оно может быть получено в результате применения конечного числа операций объединения, произведения и замыкания. Мы обязаны Клини следующей теоремой.