Автомат называется конечным, если множества X, S, Y – конечны.
Автомат - дискретный преобразователь информации, а именно входных слов в выходные с сохранением длины слов.
t – дискретное время: t = nT,
T – интервал (такт), разделяющий дискретные моменты времени;
если T = 1, то t =n,
Такты определяются либо принудительно тактирующими синхросигналами, либо асинхронно, наступлением внешнего события – поступления сигнала.
λ: X´ S ®Y , т.е. yl = λ (si, xk);
Функция выходов определяет выходной сигнал (yl Î Y) системы в зависимости от входного сигнала (xk Î X),и текущего состояния(si Î S).
δ: X´ S ®S , т.е. sj = δ(si, xk),
Функция переходов определяет, в какое состояние (sj Î S) перейдет система в зависимости от входного сигнала (xk Î X) и текущего состояния (si Î S).
