Terms for subject Programming containing finite number of transitions

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