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

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

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

Автомат F можно описать множеством входных, выходных, внутренних состояний, начальным значением z₀, функцией переходов  и функцией выходов : F = < X, Y, Z, z₀, ,  >.

Функция перехода  определяет состояние z’, в которое перейдёт система, если она находилась в состоянии Z и на ее вход поступило входное воздействие X. z' = (z, x) ;

Функция выхода  определяет выходное значение Y, которое принимает система, если она находилась в состоянии Z и на ее вход поступил сигнал X: y = (z, x).

Для задания автомата используется табличный или графический способ. При табличном способе в строках записываются входные воздействия автомата X, а в столбцах – состояния Z. На пересечении i-той строки и j-того столбца ставится значение функции перехода.

Так для системы, которая может находиться в трех различных состояниях и содержащей 3 входа F-автомат можно задать следующим образом:

Таблица переходов:

Таблица выходов

При графической форме записи каждому состоянию соответствует отдельная вершина. Каждому переходу соответствует дуга, вес которой совпадает со значением входного сигнала. В скобках ставится значение выходного сигнала.