Изменения
→Доказательство эквивалентности
<tex>1.</tex> Докажем, что любое слово, которое принимает НКА, будет принято построенным ДКА.
Сделаем наблюдение, что если <tex>q \in q_d</tex> , и символ перехода - <tex>c</tex>является символом перехода, то <tex>\forall p \in \delta(q, c)</tex>: <tex>p \in \delta_D(q_d, c)</tex>.
Рассмотрим последовательность состояний НКА, когда принимали слово - <tex>(q_1, ..., q_m)</tex> - и последовательность состояний ДКА, когда принимали слово - <tex>({q_d}_1, ..., {q_d}_m)</tex>.
