Дискретно-детерминированные модели (F - схемы)

От латинского (finite automata).

Для описания дискретных процессов с фиксированными строго упорядоченными действиями используются дискретно-детерминированные модели (F-схемы). Для описания таких схем используется теория автоматов – для F-схем конечных автоматов. Конечный автомат – это автомат у которого множество внутренних состояний и входных сигналов и следовательно множество выходных сигналов являются конечными множествами.

Автомат задаваемый F-схемой функционирует в дискретные моменты времени – такты, и описывается соотношением:

где Z – множество внутренних состояний автомата;

X,Y – множество входных и выходных сигналов;

- функция переходов;

- функция выходов.

Можно сказать, что выходной сигнал полностью зависит от входного сигнала, и внутреннего состояния автомата. Обычно используют конечные автоматы первого и второго рода, для которых имеем:

Автомат Мили первого рода:

Автомат Мура первого рода:

F-автомат второго рода (автомат Мура)

в последнем случае функция выхода не зависит от входного сигнала.

Процессы описываемые F – схемами можно задать с помощью таблиц, графически или матрично.

F – схемами обычно описываются узлы ЭВМ, устройства контроля, регулирования и управления, устройства временной и пространственной коммутации и т.д., имеющие дискретные состояния и дискретный характер работы во времени.