Аннотация:Мы предлагаем исследовать модификацию модели автомата с временными ограничениями, в которой выходные реакции следуют в порядке времени их формирования. Наблюдаемое поведение такого рода более трудно для анализа. Мы планируем провести традиционный цикл исследований новой модели автоматов и получить решение задач проверки эквивалентности и минимизации автоматов. Поскольку решение этих задач существенно зависит от того, насколько однозначным является поведение автомата, вначале нужно изучить задачу проверки детерминированности автоматов. Нами установлен критерий строгой детерминированности конечных автоматов с временными ограничениями и предложен алгоритм проверки этого свойства автоматов.