9
правок
Изменения
→Построение эквивалентного ДКА по НКА
# <tex>s_d = \{s\}</tex>,
# <tex>T_d = \{q \in Q_d \mid \exists p \in T : p \in q\}</tex>,
# <tex>\delta_d(q, c) = \bigcup_{ a \in q} \delta(a, c) \mid a \in q \}</tex>.
===Доказательство эквивалентности===
