Конечный автомат с DATAPATH ( FSMD ) является математической абстракцией , которая иногда используется для разработки цифровых логических или компьютерных программ .
FSMD - это цифровая система, состоящая из конечного автомата , который управляет потоком программы , и канала данных , который выполняет операции обработки данных.
FSMD - это, по сути, последовательные программы, в которых операторы были запланированы в состояниях, что приводит к более сложным диаграммам состояний.
Здесь программа преобразуется в сложную диаграмму состояний, в которой состояния и дуги могут включать арифметические выражения , и эти выражения могут использовать внешние входы и выходы, а также переменные.
Конечные автоматы не используют переменные или арифметические операции / условия, поэтому конечные автоматы более мощные, чем конечные автоматы.
Уровень абстракции FSMD часто называют уровнем передачи регистров .
FSMD эквивалентен машине Тьюринга по мощности.