| Russian | English |
| абстрактное представление одной или нескольких переменных, принимающих набор конечных значений, каждое из которых отображается в полезное дискретное состояние | an abstraction of one or more variables that can take only a set of finite values, each of which map to a useful discrete state (ssn) |
| Временной автомат представляет собой конечный автомат, снабжённый конечным набором часов, принимающих действительные значения | A timed automaton is a finite automaton augmented with a finite set of real-valued clocks (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
| заданные в фиксированный конечный момент времени значения функций от фазовых координат | functions of the state variables prescribed at a fixed terminal time (ssn) |
| конечное значение | ending value (ssn) |
| конечное значение | transitioned value (напр., при анимированном переходе ssn) |
| конечное значение | final value (в циклах со счётчиком числа повторений; значение, которого должна достичь переменная цикла, чтобы выполнение цикла прекратилось. Конечное значение может быть меньше начального – в этом случае шаг цикла должен быть отрицательным числом ssn) |
| конечное значение переменной управления циклом | ending value of the loop control variable (ssn) |
| конечное значение счётчика цикла | final value of a loop counter (ssn) |
| конечное значение управляющей переменной | control variable's final value (ssn) |
| конечное значение управляющей переменной | final value of a control variable (ssn) |
| конечное значение управляющей переменной | final value of control variable (ssn) |
| конечное значение частоты | frequence at target time (ssn) |
| конечное число различных значений | finite number of distinct values (ssn) |
| конечные значения | finite values (ssn) |
| конечные значения | final values (переменных ssn) |
| конечные значения, каждое из которых отображается в полезное дискретное состояние | finite values, each of which map to a useful discrete state (ssn) |
| конечные значения переменных | final values of variables (ssn) |
| конечный автомат, снабжённый конечным набором часов, принимающих действительные значения | finite automaton augmented with a finite set of real-valued clocks (ssn) |
| конечный набор часов, принимающих действительные значения | finite set of real-valued clocks (ssn) |
| набор конечных значений, каждое из которых отображается в полезное дискретное состояние | a set of finite values, each of which map to a useful discrete state (ssn) |
| начальные и конечные значения | initial and final values (ssn) |
| начальные и конечные значения переменных | initial and final values of variables (ssn) |
| неправильное конечное значение | incorrect final value (ssn) |
| неправильное конечное значение счётчика цикла | incorrect final value of a loop counter (ssn) |
| переменные, принимающие набор конечных значений, каждое из которых отображается в полезное дискретное состояние | variables that can take only a set of finite values, each of which map to a useful discrete state (ssn) |
| представление начальных и конечных значений переменных | representing initial and final values of variables (ssn) |
| представлять собой конечный автомат, снабжённый конечным набором часов, принимающих действительные значения | to be a finite automaton augmented with a finite set of real-valued clocks (ssn) |
| фиксированные значения некоторых переменных состояния в заданный конечный момент времени | some state variables specified at a fixed terminal time (ssn) |
