Преобразование недетерминированного конечного автомата (НКА) в детерминированный конечный автомат (ДКА) является важной задачей в теории автоматов, потому что позволяет конвертировать более простые по структуре НКА в более эффективные в вычислительном отношении ДКА. 2

Моделирование НКА существенно сложнее, чем моделирование ДКА, поскольку при работе приходится перебирать множественные переходы для входного символа. 1