Изменения
→Основные операции
Пусть <tex>L_1, L_2</tex> - [[Регулярные языки: два определения и их эквивалентность|регулярные языки]] над одним алфавитом <tex>\Sigma</tex>. Тогда следующие языки также являются регулярными:
#<tex>L_1 \cup L_2</tex>
#<tex>L_1 \setminus L_2</tex>
#<tex>\overset{\leftarrow}{L_1}</tex>
Свойства 1,2,3 непосредственно следуют из определения [[Регулярные языки: два определения и их эквивалентность|регулярных языков]].
Следует из пунктов 1 и 4, т.к. <tex>L_1 \cap L_2 = \overline{\overline{L_1} \cup \overline{L_2}}</tex>. <br/>
Автомат для пересечения языков можно построить явно, используя конструкцию ''произведения автоматов'': </p><p> <tex>A = \langle \Sigma , Q , s , T , \delta : Q \times \Sigma \rightarrow 2^{Q} \rangle </tex>, где <br/>
<tex>Q = \lbrace \langle q_1, q_2 \rangle | q_1 \in Q_1, q_2 \in Q_2 \rbrace</tex> <br/>
</li>
</ol>
}}
==Прямой и обратный гомоморфизмы==
