26
правок
Изменения
м
→Доказательство
<tex>\delta (\langle q_1,q_2 \rangle, c) = \langle \delta_1 (q_1),\delta_2 (q_2) \rangle</tex>
----
6. <tex>L_1 \setminus L_2 = L_1 \cap \overline{L_2}</tex>.
Соответствующий автомат строится как произведение автоматов для языков <tex>L_1</tex> и <tex>\overline {L_2}</tex>
