Изменения
→Построение эквивалентного ДКА по НКА
ДКА, описанный в следующих строках является эквивалентным НКА.
ДКА: <tex>\langle \Sigma , Q_d, \{s\} S_d \in Q_d, T_d \subset Q_d, \delta_d : Q_d \times \Sigma \to Q_d \rangle</tex>, где:
# <tex>Q_d = 2^Q</tex>.
# <tex>S_d = \{s\}</tex>.
# <tex>T_d = \{q \in Q_d | \exists p \in T : p \in q\}</tex>.
# <tex>\delta_d(q, c) = \cup_{i=1}^{m} \delta(a_i, c)</tex> при условии, что <tex>q = \{a_1, ..., a_m\}</tex>.
