Traducción de "abstract state machine" al ruso

Selecciona el idioma de origen

Texto de partida

22 / 999

Selecciona el idioma de destino

Traducción

Tu texto ha sido traducido parcialmente.
Puedes traducir no más de 999 caracteres a la vez.
Inicia sesión o regístrate gratis en PROMT.One y traduce aún más!

Traducciones del diccionario para "abstract state machine"

abstract state machine sustantivo

pl. abstract state machines

абстрактный автомат м.р.

Expresiones con "abstract state machine" (1)

abstract state machine language - язык описания абстрактных автоматов

Contextos con "abstract state machine"

So June 1945 - actually, the bomb hasn't even been dropped yet - and Von Neumann is putting together all the theory to actually build this thing, which also goes back to Turing, who, before that, gave the idea that you could do all this with a very brainless, little, finite state machine, just reading a tape in and reading a tape out. Итак, июнь 1945-го. Собственно, бомба ещё не сброшена, а фон Нойман собирает всю теорию, необходимую для постройки этой штуки, что возвращает нас к Тьюрингу, ещё раньше подавшему идею, что всё то же можно сделать с помощью совершенно безмозглого маленького конечного автоматика, просто читающего ленту туда-сюда.

That’s because the inputs for a PRNG vary depending on the temporal state of each machine. Все дело в том, что исходные данные, вводимые в ГПСЧ, разнятся в зависимости от временного состояния каждого автомата.

According to the NSF's abstract of the project, being carried out by researchers at North Carolina State University, participants "receive information about that issue from a range of content-area experts, experts on social implications of science and technology, and representatives of special interest groups." Согласно краткому описанию проекта Национального научного фонда, осуществляемого исследователями Университета штата Северная Каролина, участники «получают информацию от целого ряда экспертов по главному предмету обсуждения, от экспертов по социальным последствиям использования достижений науки и техники, а также от представителей групп, объединенных специальными интересами, связанными с предметом дискуссии».

I don't think that State Assembly seats should be the reward for service to the Democratic party machine. Я не думаю, что места в Ассамлеи Штата особенно нужны машине Демократической партии.

Instead of trying to determine the content of jus cogens through abstract definitions, it is better to follow the path chosen by the ILC in 1966 as it “considered the right course to be to provide in general terms that a treaty is void if it conflicts with a rule of jus cogens and to leave the full content of this rule to be worked out in State practice and in the jurisprudence of international tribunals”. Вместо того, чтобы пытаться определить содержание jus cogens при помощи абстрактных дефиниций, лучше последовать путем, который избрала КМП в 1966 году, когда она " сочла правильным предусмотреть в целом, что договор становится ничтожным, если он вступает в коллизию с нормой jus cogens, и оставить уточнение полного содержания этой нормы было для практики государств и международных судебных органов ".

Los ejemplos del uso de palabras en diferentes contextos se proporcionan únicamente con fines lingüísticos, es decir, para estudiar el uso de palabras en un idioma y sus opciones de traducción a otro. Están recopilados automáticamente de fuentes abiertas utilizando tecnología de búsqueda basada en datos bilingües. Si encuentras un error ortográfico o de puntuación en el original o en la traducción, utiliza la opción "Informar de un problema" o escríbenos.