Основные различия между детерминированными и недетерминированными конечными автоматами (ДКА и НКА) заключаются в следующем:

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

Таким образом, основное различие заключается в том, что ДКА полностью определяет переходы, а НКА в ряде состояний требует осуществлять выбор. 4