Изменения
Нет описания правки
# <tex>Q_d = 2^Q</tex>,
# <tex>s_d = \{s\}</tex>,
# <tex>T_d = \{q \in Q_d | \mid \exists p \in T : p \in q\}</tex>,# <tex>\delta_d(q, c) = \bigcup\limits_{a \in q} \delta(a, c)\mid a \in q \}</tex>.
===Доказательство эквивалентности===
<tex>p_d</tex> = <tex>\varnothing</tex>
for <tex>q \in q_d</tex>
<tex>p_d</tex> = <tex>p_d \cup \{ \delta(q, c)\}</tex> if (not <tex>p_dQ</tex> haven't been in .contains(<tex>Qp_d</tex>)
<tex>Q</tex>.push(<tex>p_d</tex>)
