Изменения
→Алгоритм систем подмножеств
НКА: <tex>\langle \Sigma , Q, s \in Q, T \subset Q, \delta : Q \times \Sigma \to P(Q) \rangle</tex>.
ДКА: <tex>\langle \Sigma , Q_d, \{s\} \in Q_d, T_d \subset Q_d, \delta_D delta_d : Q_d \times \Sigma \to Q_d \rangle</tex>, где :# <tex>Q_d = 2^Q</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>.
=== Алгоритм ===
