Изменения

Для различных операций с [[Регулярные языки: два определения и их эквивалентность|регулярными языками]] (англ. ''regular language'') полезно знать некоторые их свойства. Как правило, в доказательствах этих свойств используется факт из теоремы Клини о эквивалентности [[Детерминированные_конечные_автоматы#Автоматные_языки | автоматных]] и [[Регулярные языки:_два определения_и_их_эквивалентность#REG1 | регулярных]] языков.