Що таке МАШИНА ТЬЮРИНГА Англійською - Англійська переклад

• turing machine

Приклади вживання Машина тьюринга Українська мовою та їх переклад на Англійською

Машина Тьюринга.
Turing Machine.

Це спростовує то допущення, що Т«репрезентує» мене: отже, я не машина Тьюринга.
This refutes the assumption that T"represents" me, hence I am not a Turing machine.

Машина Тьюринга здатна виконувати складні обчислення, які можуть мати довільну тривалість.
The Turing machine is capable of performing complex calculations which can have arbitrary duration.

Пристрій квантової машина Тьюринга є теоретичною моделлю такого комп'ютера і також відома як універсальний КК.
Quantum Turing machine is a theoretical model of such a computer, also known as a general quantum computer.

Якщо в майбутньому було детерміновано обчислюваною з квантових станів субатомних частинок, машина Тьюринга може обчислити його.
If future was deterministically computable from the quantum states of subatomic particles, the Turing machine could compute it.

Пристрій квантової машина Тьюринга є теоретичною моделлю такого комп'ютера і також відома як універсальний КК.
A quantum Turing machine is a theoretical model of such a computer and is also known as the universal quantum computer.

Машина Тьюринга була запропонована Аланом Тьюрингом в 1936 і стала основою для теорій про обчисленнях і комп'ютерах.
The Turing machine was first proposed by Alan Turing in 1936 and became the foundation for theories about computing and computers.

Теорія розглядає мінімальний час і об'єм пам'яті для розв'язання найскладнішого варіанта задачі на теоретичному комп'ютері, відомому як машина Тьюринга.
The theory looks at the minimum time and space required to solve the hardest instance of a problem on a theoretical computer known as a Turing machine.

Нехай Т- машина Тьюринга, яка« репрезентує»мене в тому сенсі, що Т може доводити ті ж самі математичні положення, що і я.
Let T be a Turing machine which"represents" me in the sense that T can prove just the mathematical statements I prove.

Цей приклад ілюструє, як простий абстрактний інструмент(машина Тьюринга) можна використовувати для пророкування майбутнього(долі тест Тьюринга), надаючи просту модель складної реальності(мозок людини і його поведінкових характеристик).
This example illustrates how a simple abstract tool(Turing Machine) can be used to predict the future(fate of the Turing test) by providing a simple model of complex reality(human brain and its behavioral characteristics).

Машина Тьюринга і основні істини про його властивості, обладнаний мозку Тьюринга з інструментами, які дозволяють легко для нього, щоб побачити просту паралель між розумом і машини..
Turing machine and basic truths about its properties, equipped Turing's brain with tools that made it easy for him to see the simple parallel between the mind and the machine..

Машина Тьюринга Схожа на кінцевий автомат, за винятком того, що вхід подається на стрічці, яку машина Тьюринга може читати, перезаписувати і по якій може вільно послідовно переміщатися(тобто не може перескакувати комірки стрічки).
Turing machine Also similar to the finite state machine, except that the input is provided on an execution"tape", which the Turing machine can read from, write to, or move back and forth past its read/write"head".

Машині Тьюринга.
A Turing Machine.

Машини Тьюринга.
A Turing Machine.

Старше лікування Девіса підходить до питання з точки зору машини Тьюринга.
Davis's older treatment approaches the question from a Turing machine viewpoint.

Інтерпретатор універсальної машини Тьюринга.
The universal Turing machine interpreter.

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

До таких структур можуть бути віднесені скінченні групи, скінченні графи, а також деякі математичні моделі перетворювачів інформації, скінченні автомати, машини Тьюринга і так далі.
Such finite structures may include, for example, finite groups, finite graphs, and certain mathematical models of information converters, finite automata, Turing machines, and so forth.

До числа таких структур можуть бути віднесені кінцеві групи, кінцеві графи, а також деякі математичні моделі перетворювачів інформації, кінцеві автомати, машини Тьюринга і так далі.
Such finite structures may include, for example, finite groups, finite graphs, and certain mathematical models of information converters, finite automata, Turing machines, and so forth.

Як відомо, лямбда-числення є обчислювально еквівалентним за потужністю для багатьох інших вірогідних моделей для обчислення(включаючи машини Тьюринга); тобто будь-який розрахунок, який можна виконати в будь-якій з цих інших моделей, може бути виражений в лямбда-численні і навпаки.
Lambda calculus is known to be computationally equivalent in power to many other plausible models for computation(including Turing machines); that is, any calculation that can be accomplished in any of these other models can be expressed in lambda calculus, and vice versa.

Відсутність нескінченної(або динамічно зростаючої) множини регістрів(яку можна побачити на машинах Тьюринга) можна зрозуміти, замінивши її роль технікою нумерації Геделя: той факт, що кожен реєстр має натуральне число, дає можливість представити складну річ(наприклад послідовність або матрицю) за допомогою відповідного величезного натурального числа- однозначність як представлення, так і інтерпретації встановлюються числовою теорією основ цих методів.
The lack of the infinite(or dynamically growing) external store(seen at Turing machines) can be understood by replacing its role with Gödel numbering techniques: the fact that each register holds a natural number allows the possibility of representing a complicated thing(e.g. a sequence, or a matrix etc.) by an appropriate huge natural number- unambiguity of both representation and interpretation can be established by number theoretical foundations of these techniques.

До загально відомих моделей обчислення, еквівалентним машині Тьюринга(див. тезу Черча-Тьюрінга), належать:.
General models of computation equivalent to a Turing machine(see Church- Turing thesis) include:.

Щодо прикладів конкретних абстрактних машин, які є детермінованими, можна віднести детерміновані машини Тьюринга і детермінований скінченний автомат.
Examples of particular abstract machines which are deterministic include the deterministic Turing machine and deterministic finite automaton.

Комбінована система аналогічна машині Тьюринга або архітектурі фон Неймана, але відрізняється в кінцевих параметрах, що дозволяє їй ефективно тренуватися з градієнтним спуском.
The combined system is analogous to a Turing Machine or Von Neumann architecture, but is differentiable end-to-end, allowing it to be efficiently trained with gradient descent.

Ось приклад: коли Алан Тьюринг розробив концепцію своїй машині Тьюринга, він обладнав його генія мозок з інструментом для розуміння обчислень.
Here is an example: when Alan Turing developed the concept of his Turing machine, he equipped his genius brain with the tool for understanding computation.

Тьюринг міг бачити паралель між зсуву станів машини Тьюринга і стану людського розуму, у тому числі емоційних станів і найбільш складні розрахунки людської думки.
Turing could see the parallel between the shifting states of the Turing machine and the states of the human mind, including emotional states and the most complex computations of the human thought.

Для Тьюринга, інтелект в цьому сенсі пов'язана з символізації- абопредставимости- і це головна особливість машини Тьюринга, що обидва здатні виробляти символи і сканування, або аналіз, ім.
For Turing, intelligence in this sense is linked to symbolisation- or representability- and it is a key feature of the Turing machine that it is both capable of producing symbols and of scanning, or analysing, them.

Також отриманий для публікації в 1936 р.- у жовтні, пізніше, ніж Тьюринг зміг його опублікувати, був короткий документ Еміля Поста, який обговорив скорочення алгоритму до простого машиноподібного"методу", дуже схожих на модель обчислювального машини Тьюринга(див. Машину Пост-Тьюринга для деталей).
Also received for publication in 1936- in October, later than Turing's- was a short paper by Emil Post that discussed the reduction of an algorithm to a simple machine-like"method" very similar to Turing's computing machine model(see Post-Turing machine for details).