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