Изменения
→Алгоритм систем подмножеств
НКА: <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 T_d \subset Q_d, \delta_D : Q_d \times \Sigma \to Q_d \rangle</tex>, где <tex>Q_d = 2^Q</tex>.
=== Алгоритм ===
