26
правок
Изменения
м
→Доказательство
Следует из пунктов 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/>
