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