What is the translation of " TURING MACHINE " in Russian?

• машина тьюринга
• машины тьюринга
• машине тьюринга
• машину тьюринга

Examples of using Turing machine in English and their translations into Russian

Show the rules for the 2-state, 2-color Turing machine 2506.
Покажите правила для двумерной двухцветной машины Тьюринга 2506.

A Turing machine is a hypothetical computing device, first conceived by Alan Turing in 1936.
Информатика основана на понятии машины Тьюринга, воображаемой вычислительной машине, впервые описанной Аланом Тьюрингом в 1936 году.

Any quantum algorithm can be expressed formally as a particular quantum Turing machine.
Любой квантовый алгоритм может быть формально описан как некоторая квантовая машина Тьюринга.

Currently, Immink holds the position of president of Turing Machines Inc, which was founded in 1998.
В настоящее время ученый занимает должность президента компании Turing Machines, основанной в 1998 году.

This is the essential insight of the Church-Turing thesis and the universal Turing machine.
В этом заключается основная суть тезиса Черча- Тьюринга и универсальной машины Тьюринга.

Any normal algorithm is equivalent to some Turing machine, and vice versa- any Turing machine is equivalent to some normal algorithm.
Любой нормальный алгорифм эквивалентен некоторой машине Тьюринга, и наоборот- любая машина Тьюринга эквивалентна некоторому нормальному алгорифму.

More precisely, the hypothesis is that there is some absolute constant c>0 such that 3SAT cannot be decided in time 2cn by any deterministic Turing machine.
Точнее, гипотеза говорит, что существует некая константа c>, такая, что 3SAT не может быть решена за время 2cn на любой детерминированной машине Тьюринга.

In[5, page 315] we can read the following task:«Shape a Turing machine, using the Conway's game».
В[ 5, с. 315] ставится задача:" Используя игру Конвея, смоделировать машину Тьюринга.

A quantum Turing machine(QTM), also a universal quantum computer, is an abstract machine used to model the effect of a quantum computer.
Квантовая машина Тьюринга( англ. Quantum Turing machine; иногда- универсальный квантовый компьютер)- абстрактная машина, используемая для моделирования квантового компьютера.

After more than thirty years, Immink left Philips Research in 1998, and founded Turing Machines Inc., where he currently serves as its president.
В 1998 году, после тридцати лет работы, Имминк покинул лабораторию Philips и основал компанию Turing Machines, где в настоящее время занимает должность президента.

Any algorithm with these two properties can be converted to a polynomial time algorithm by replacing the arithmetic operations by suitable algorithms for performing the arithmetic operations on a Turing machine.
Любой алгоритм с этими двумя свойствами можно привести к алгоритму полиномиального времени путем замены арифметических операций на соответствующие алгоритмы выполнения арифметических операций на машине Тьюринга.

Hence, it is not possible to carry out this computation in polynomial time on a Turing machine, but it is possible to compute it by polynomially many arithmetic operations.
Отсюда- невозможно выполнить эти вычисления за полиномиальное время на машине Тьюринга, но можно выполнить за полиномиальное число арифметических операций.

And in a proof-sketch added as an"Appendix" to his 1936-37 paper, Turing showed that the classes of functions defined by λ-calculus and Turing machines coincided.
И в доказательном эскизе, добавленном как« Приложение» к его статье 1936- 37, Тьюринг показал, что классы функций, определяемые λ- исчислением и машинами Тьюринга, совпадают.

The undecidability of the halting problem(the problem of testing whether a Turing machine eventually halts) then implies the undecidability of Wang's tiling problem.
Из невозможности решить проблему остановки( задачу проверки, остановится ли, в конце концов, машина Тьюринга) тогда следует невозможность решить задачу замощения Вана.

If it's possible to make the molecular«Turing machine» with a Conway's game, one question immediately arised- is it possible to create a«universal constructor» or so-called«nanoassembler», which allow to produce such machines that could fully copied or reproduced themselves.
Если с помощью игры Конвея окажется возможным создать машину Тьюринга, то сразу же встает вопрос о создании универсального конструктора, позволяющего создавать такие машины, которые могли бы полностью копировать и воспроизводить самих себя.

In it he stated another notion of"effective computability" with the introduction of his a-machines now known as the Turing machine abstract computational model.
В ней он задал понятие« эффективной вычислимости» по другому, с введением его а- машин теперь они известны как абстрактная вычислительная модель машины Тьюринга.

It includes built-in functions for generating and running Turing machines, creating graphics and audio, analyzing 3D models, matrix manipulations, and solving differential equations.
Например, он обладает встроенными функциями для создания и приведения в действие машины Тьюринга, создания графики и аудио, анализа трехмерных моделей и решения дифференциальных уравнений.

Alan Turing's theory of computation, especially as developed in Deutsch's Turing principle, in which the Universal Turing machine is replaced by Deutsch's universal quantum computer.
Тьюринговская теория вычисления, особенно развитие Дойчем принципа Тьюринга, и универсальной машины Тьюринга и замена их универсальным квантовым компьютером Дойча теперь« квантовая теория вычисления».

For example, a change from a single-tape Turing machine to a multi-tape machine can lead to a quadratic speedup, but any algorithm that runs in polynomial time under one model also does so on the other.
Например, переход от одноленточной машины Тьюринга к мультиленточной может привести к квадратичному ускорению, но любой алгоритм, работающий за полиномиальное время на одной модели, будет работать за полиномиальное время на другой.

It moves from Boolean algebra through topics such as information theory, parallel computing, cryptography, algorithms, heuristics, Turing machines, and promising technologies such as quantum computing and emergent systems.
Он движется от булевой алгебры по таким темам, как теория информации, параллельные вычисления, криптография, алгоритмы, эвристика, машин Тьюринга и перспективные технологии, такие как квантовые вычисления и эмерге́нтные системы.

A recursively enumerable language is a formal language for which there exists a Turing machine(or other computable function) that will halt and accept when presented with any string in the language as input but may either halt and reject or loop forever when presented with a string not in the language.
Рекурсивно перечислимый язык- это формальный язык, для которого существует машина Тьюринга( или другая вычислимая функция), которая остановится и примет любую входную строку из языка, но остановится и отвергнет или не остановится вообще для любой входной строки не из языка.

In computer science, this implies that there is a maximal information-processing rate(Bremermann's limit) for a physical system that has a finite size and energy, and that a Turing machine with finite physical dimensions and unbounded memory is not physically possible.
С точки зрения информатики это означает, что имеется максимум скорости обработки информации( предел Бремерманна) для физической системы, которая имеет конечные размеры и энергию, и что машина Тьюринга с конечными физическими размерами и неограниченной памятью физически нереализуема.

He proved that his universal machine can compute any function that any Turing machine can compute; and he put forward, and advanced philosophical arguments in support of, the thesis here called Turing's thesis.
Он доказал, что его универсальная машина Тьюринга может вычислять любую функцию, которую может вычислять любая машина Тьюринга; и он выдвинул философский аргумент в поддержку этого, тезис, здесь называемый тезисом Тьюринга..

But the limits of practical computation are set by physics, not by theoretical computer science:"Turing did not show that his machines can solve any problem that can be solved'by instructions, explicitly stated rules, or procedures', nor did he prove that the universal Turing machine'can compute any function that any computer, with any architecture, can compute.
Но пределы практических вычислений устанавливаются физикой, а не информатикой: Тьюринг не показал ни что его машины могут решить любую задачу, которая может быть решена« инструкциями, явно сформулированными правилами или процедурами», ни доказал, что универсальная машина Тьюринга« может вычислять любую функцию, которую любой компьютер любой архитектуры может вычислять».

To make this precise, a universal computer(or universal Turing machine) must be specified, so that"program" means a program for this universal machine..
Чтобы сделать это определение точным, нужно зафиксировать универсальный компьютер( или универсальную машину Тьюринга), так что" компьютерная программа" будет обозначать программу для этой универсальной машины..

For schemes based on computational security, the adversary is modeled by a probabilistic polynomial time Turing machine, meaning that it must complete the game and output a guess within a polynomial number of time steps.
Для систем, основанных на вычислительной безопасности, злоумышленник моделируется вероятностной полиномиальной машиной Тьюринга, что означает, что он должен завершить игру и выдать догадку за полиномиальное число временных шагов.

In mathematics and computer science, Zeno machines(abbreviated ZM, and also called accelerated Turing machine, ATM) are a hypothetical computational model related to Turing machines that allows a countably infinite number of algorithmic steps to be performed in finite time.
В математике и информатике Машина Зенона( иногда сокращаемая до ЗМ, также называемая ускоренной машиной Тьюринга)- это гипотетическая компьютерная модель, связанная с машиной Тьюринга, которая способна совершить счетное количество алгоритмических шагов за конечное время.

A recursively enumerable language is a formal language for which there exists a Turing machine(or other computable function) which will enumerate all valid strings of the language.
Рекурсивно перечислимый язык- это формальный язык, для которого существует машина Тьюринга( или другая вычислимая функция), которая перечисляет все корректные строки языка.

The classic Church-Turing thesis claims that any computer as powerful as a Turing machine can, in principle, calculate anything that a human can calculate, given enough time.
Классический тезис Черча- Тьюринга требует, чтобы любой вычислитель, по мощности эквивалентный машине Тьюринга, мог бы, в принципе, вычислять все, что может вычислять человек, если ему дано достаточно времени.

He proved that no algorithm for the problem can exist, by showing how to translate any Turing machine into a set of Wang tiles that tiles the plane if and only if the Turing machine does not halt.
Он доказал, что не может существовать алгоритма, показав, как преобразовать любую машину Тьюринга в набор плиток Вана, так что плитки замощают плоскость в том и только в том случае, если машина Тьюринга не останавливается.