Автомат конечный — автомат, у которого множество входных и выходных сигналов, а также множество внутренних состояний являются конечными множествами.
[Зотов В.В., Маслов Ю.Н., Пядочкин А.Е., Самойлов Л.К., Темников Ф.Е., Хорошилов В.О., Черпаков Б.И. Терминологический словарь по автоматике, информатике и вычислительной технике — Москва: Высшая школа, 1989 — с.191]
Автомат конечный — автомат, работа которого определяется двумя функциями:
y(t+1) = F1(x(t), y(t)),
z(t) = F2(x(t),y(t)).
Первая функция задает смену состояний автомата в дискретные такты времени t и называется функцией переходов; вторая — выходные сигналы автомата и называется функцией выхода; x, y, и z — множества двоичных векторов фиксированной длины, т.е. конечные множества. Математической моделью A.K. может служить автоматная грамматика с помощью которой порождается автоматный язык.
[Толковый словарь по искусственному интеллекту / Авторы-составители А.Н. Аверкин, М.Г. Гаазе-Рапопорт, Д.А. Поспелов. М.: Радио и связь, 1992. — 256 с.]