| Subject | English | Russian |
| progr. | 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) |
| progr. | to be a finite automaton augmented with a finite set of real-valued clocks | представлять собой конечный автомат, снабжённый конечным набором часов, принимающих действительные значения (ssn) |
| progr. | finite automaton augmented with a finite set of real-valued clocks | конечный автомат, снабжённый конечным набором часов, принимающих действительные значения (ssn) |
| progr. | finite set of real-valued clocks | конечный набор часов, принимающих действительные значения (ssn) |
| tech. | finite value | конечное значение |
| math. | finite-valued | конечно-значный |
| math. | finite-valued | конечнозначный |
| math. | finite-valued logic | конечнозначная логика |
| math. | finite-valued transformation | конечнозначное отображение |