Russian ⇄ English

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