editor
177
правок
Изменения
м
Добавил ссылочки на ДКА и НКА
== Построение эквивалентного ДКА по НКА ==
Пусть нам дан произвольный [[Недетерминированные конечные автоматы|НКА]]: <tex>\langle \Sigma , Q, s \in Q, T \subset Q, \delta : Q \times \Sigma \to 2^Q \rangle</tex>.
Построим по нему следующий [[Детерминированные конечные автоматы|ДКА]]: <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 = 2^Q</tex>,
# <tex>s_d = \{s\}</tex>,
