| Russian | English |
| Временной автомат представляет собой конечный автомат, снабжённый конечным набором часов, принимающих действительные значения | 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) |
| гистерезис действительного значения по верхнему и нижнему пределам | hysteresis on a real value for high and low limits (ssn) |
| действительное значение | actual value of a controlled variable (значение управляемой величины, соответствующее фактическому состоянию управляемого объекта. См. Элементы технической кибернетики. Сборник рекомендуемых терминов, вып. 77. Изд-во "Наука", 1968 ssn) |
| действительные значения | real numbers (из множества ssn) |
| конечный автомат, снабжённый конечным набором часов, принимающих действительные значения | finite automaton augmented with a finite set of real-valued clocks (ssn) |
| конечный набор часов, принимающих действительные значения | finite set of real-valued clocks (ssn) |
| неотрицательные действительные значения | nonnegative real numbers (из множества ssn) |
| представлять собой конечный автомат, снабжённый конечным набором часов, принимающих действительные значения | to be a finite automaton augmented with a finite set of real-valued clocks (ssn) |
| часы, принимающие действительные значения | real-valued clock (ssn) |
