Изменения
→Алгоритм
=== Алгоритм ===
Генерируем все подмножества множества состояний НКА {{---}} это состояния ДКА.
Далее для всевозможных <tex>(q_1, q_2)</tex> {{---}} пар состояний ДКА и символов <tex>c</tex>, {{---}} добавляем переход из <tex>q_1</tex> в <tex>q_2</tex> по <tex>c</tex>, если для каждого состояния НКА из <tex>q_1</tex> есть переход по <tex>c</tex> в состояние из <tex>q_2</tex> и, наоборот, в каждое состояние НКА из <tex>q_2</tex> есть переход из состояния из <tex>q_1</tex> по <tex>c</tex>
== Алгоритм Томпсона ==
Данный алгоритм используется для преобразования НКА в ДКА.
