3622
правки
Изменения
м
→Построение эквивалентного ДКА по НКА
Построим по нему следующий [[Детерминированные конечные автоматы|ДКА]]: <tex>\langle \Sigma , Q_d, s_d \in Q_d, T_d \subset Q_d, \delta_d : Q_d \times \Sigma \to Q_d \rangle</tex>, где:
# <tex>Q_d = \{q_d \mid q_d \subset 2^Q \}</tex>,
# <tex>s_d = \{s\}</tex>,
# <tex>T_d = \{q \in Q_d \mid \exists p \in T : p \in q\}</tex>,
