детерминированный конечный автомат(конечный автомат, у которого для любой последовательности входных данных существует одно состояние, в которое он может перейти из текущего состояния. Для описания ДКА обычно используют таблицу переходов или диаграмму переходов ssn)