Вычислительная модель, состоящая из конечного числа состояний и переходов между этими состояниями, возможно с сопутствующими действиями | A computational model consisting of a finite number of states and transitions between those states, possibly with accompanying actions (о конечном автомате в IEEE 610 ssn) |