Изменения
→Алгоритм систем подмножеств
[[Категория: Теория формальных языков]]
== Алгоритм систем подмножеств Построение эквивалентного ДКА по НКА ==Данный алгоритм заменяет НКА из <tex>n</tex> состояний на эквивалентный ДКА из : <tex>2^n\langle \Sigma , Q, s \in Q, T \subset Q, \delta : Q \times \Sigma \to P(Q) \rangle</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_d \subset Q_d, \delta_d : Q_d \times \Sigma \to Q_d \rangle</tex>, где:
