Свойство замкнутости регулярных языков — основные свойства замкнутости языков выражаются в замкнутости относительно следующих операций: объединение, пересечение, дополнение, разность, обращение, итерация, конкатенация, гомоморфизм, обратный гомоморфизм.
Свойство позволяет создать распознаватель языка (построенного из двух других языков с помощью операций [конкатенации и т. п.]) механически соединив два автомата донорских языков. Но, поскольку, такой автомат содержит больше состояний, чем каждый из двух, то свойство замкнутости оказывается полезным инструментом для построения сложных автоматов.
Примечания
Литература
Категория:Теория автоматов Категория:Теория формальных языков Категория:Математические свойства