Russian | English |
автоматы на конечных и бесконечных словах | automata on finite and infinite words (ssn) |
анализ кода на отсутствие бесконечных циклов и рекурсий | termination analysis (University of Melbourne, Австралия Alex_Odeychuk) |
"бесконечная" память | infinite memory (ssn) |
бесконечная петля | infinite necklace (ssn) |
бесконечная рекурсия | infinite recursion (ssn) |
бесконечная строка | infinite string (ssn) |
бесконечная строковая последовательность | infinite string (ssn) |
бесконечная цепная дробь | infinite continued fraction (ssn) |
бесконечно протяжённый домен | indefinite domain (корпорации Cray Alex_Odeychuk) |
бесконечное вычисление | infinite computation (ssn) |
бесконечное обсуждение малозначимых подробностей | bikeshedding (особенно когда кому угодно легко критиковать мелочи, но недостаточно знаний для того чтобы критиковать архитектуру проекта в целом K48) |
бесконечное ожидание | latency (ssn) |
бесконечное пространство состояний | infinite state space (ssn) |
бесконечное число различных теорем | infinite number of different theorems (ssn) |
бесконечное число состояний | infinite number of states (ssn) |
бесконечные потоки | infinite streams (ssn) |
бесконечные семейства | infinite families (напр., систем с конечным числом состояний ssn) |
бесконечные семейства конечных систем | infinite families of finite-state systems (ssn) |
бесконечные семейства систем с конечным числом состояний | infinite families of finite-state systems (ssn) |
бесконечные слова | infinite words (ssn) |
бесконечные циклы | infinite loops (ssn) |
бесконечный автомат | infinite-state automaton (автомат со счётным множеством внутренних состояний. К бесконечным автоматам относится, в частности, машина Тьюринга ssn) |
бесконечный горизонт | infinite horizon (задачи динамического программирования clck.ru dimock) |
бесконечный набор | infinite set (ssn) |
бесконечный набор взаимно рекурсивных определений | infinite set of mutually recursive definitions (ssn) |
бесконечный поток | infinite stream (ssn) |
бесконечный цикл типа прочитать-вычислить-записать | infinite read-evaluate-print loop (ssn) |
выполнять бесконечную рекурсию | do an infinite recursion (Alex_Odeychuk) |
вычисление, вошедшее в бесконечный цикл | infinite computation (контекстуальный перевод на русс. язык Alex_Odeychuk) |
граф переходов с бесконечным числом состояний | infinite state transition graph (ssn) |
графы переходов с бесконечным числом состояний | infinite state transition graphs (ssn) |
иллюзия бесконечной памяти | illusion of infinite memory (ssn) |
Исполнение оператора порождает вычисление, которое может закончиться нормальный результат, вызвать исключение, стать причиной контролируемой ошибки времени исполнения или же исполняться бесконечно зациклиться | Executing a statement produces a computation that can halt normal outcome, raise an exception, cause a checked runtime error, or loop forever (ssn) |
исполняться бесконечно | loop forever (ssn) |
конечное представление бесконечного пространства состояний | finite representation for the infinite state space (ssn) |
конечное представление бесконечного пространства состояний временного автомата | finite representation for the infinite state space of a timed automaton (ssn) |
конечные и бесконечные слова | finite and infinite words (ssn) |
приводить к бесконечной рекурсии | do an infinite recursion (контекстуальный перевод на русс. язык Alex_Odeychuk) |
приводить к возникновению бесконечного цикла | cause an infinite loop (Alex_Odeychuk) |
приводить к возникновению бесконечного цикла | lead to an infinite loop (Alex_Odeychuk) |
процесс с очень большим или бесконечным числом состояний | process with a very large or infinite number of states (ssn) |
слияние бесконечных потоков | merging infinite streams (ssn) |
темпоральная логика для бесконечных семейств | temporal logic for infinite families (ssn) |
теория бесконечных автоматов | infinite automata theory (ssn) |
теория бесконечных автоматов | theory of infinite-state automata (ssn) |
формальная семантика временных автоматов в терминах графов переходов с бесконечным числом состояний | formal semantics for timed automata in terms of infinite state transition graphs (ssn) |