| Subject | English | Russian |
| progr. | a set of finite values, each of which map to a useful discrete state | набор конечных значений, каждое из которых отображается в полезное дискретное состояние (ssn) |
| 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. | algorithms for computing the set of reachable states of a finite-state system | алгоритмы вычисления множества достижимых состояний для систем с конечным числом состояний (ssn) |
| math. | almost finite set | почти конечное множество |
| progr. | 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) |
| progr. | to be a finite automaton augmented with a finite set of real-valued clocks | представлять собой конечный автомат, снабжённый конечным набором часов, принимающих действительные значения (ssn) |
| math. | Dedekind finite set | конечное по Дедекинду множество |
| progr. | finite automaton augmented with a finite set of real-valued clocks | конечный автомат, снабжённый конечным набором часов, принимающих действительные значения (ssn) |
| Makarov. | finite basis set and finite difference Hartree-Fock calculations | хартри-фоковские расчёты в приближениях конечного базиса и конечных разностей |
| Makarov. | finite basis set method | метод конечного базисного набора |
| progr. | finite failure assertion set | множество фактов финитно-неудачных вызовов (ssn) |
| progr. | finite failure set | множество финитно-неудачных вызовов (ssn) |
| tech. | finite set | конечное множество |
| Makarov. | finite set | ограниченное множество |
| qual.cont. | finite set | конечная совокупность |
| qual.cont. | finite set | конечный набор |
| Makarov. | finite set | конечная система уравнений |
| Makarov. | finite set | конечная система (уравнений) |
| Makarov. | finite set | конечная система |
| progr. | finite set of input symbols | конечное множество входных символов (ssn) |
| progr. | finite set of locations | конечное множество позиций (ssn) |
| progr. | finite set of real-valued clocks | конечный набор часов, принимающих действительные значения (ssn) |
| progr. | finite set of states | конечное множество состояний (ssn) |
| math. | finite-dimensional set | конечномерное множество |
| math. | locally finite set | локально конечное множество |
| progr. | Other approaches to schedulability analysis include algorithms for computing the set of reachable states of a finite-state system | другие подходы к анализу составления расписаний включают алгоритмы вычисления множества достижимых состояний для систем с конечным числом состояний (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
| qual.cont. | sampling from a finite set | выбор из конечной совокупности |
| media. | sampling from a finite set | выборка из конечной совокупности |
| math. | sampling from finite set | выбор из конечной совокупности |
| math. | set of finite outcomes | конечное множество исходов |
| math. | set with the finite intersection property | центрированное множество |
| progr. | variables that can take only a set of finite values, each of which map to a useful discrete state | переменные, принимающие набор конечных значений, каждое из которых отображается в полезное дискретное состояние (ssn) |