A TURING MACHINE Tiếng việt là gì - trong Tiếng việt Dịch

• máy turing

Ví dụ về việc sử dụng A turing machine trong Tiếng anh và bản dịch của chúng sang Tiếng việt

It's a Turing machine.
Là một máy Turing.

An artistic representation of a Turing machine.
Một sự biểu diễn nghệ thuật của máy tính toán.

It is a Turing machine.
Là một máy Turing.

Any mechanical computation can be performed by a Turing Machine.
Tồn tại nào đều có thể được thực hiện bởi một máy Turing.

A Turing machine is a mathematical model of a computer.
Máy Turing là một mô hình toán học của một máy tính nói chung.

Informally, these theorems say that given more time, a Turing machine can solve more problems.
Nói một cách đơn giản, các định lý này cho thấy với nhiều thời gian hơn, máy Turing có thể giải được nhiều bài toán hơn.

A Turing machine is a mathematical model of a general computing machine..
Máy Turing là một mô hình toán học của một máy tính nói chung.

It is believed that if a problem can be solved by an algorithm, there exists a Turing machine that solves the problem.
Người ta tin rằng nếu một vấn đề có thể được giải quyết bởi một thuật toán, thì cũng có một máy Turing giải quyết vấn đề đó.

A Turing machine M is said to operate within time f(n), if the time required by M on each input of length n is at most f(n).
Một máy Turing M được cho là hoạt động trong thời gian f( n), nếu thời gian được yêu cầu bởi M trên mỗi đầu vào có độ dài n nhiều nhất là f( n).

A decision problem A can be solved in timef( n) if there is a Turing machine operating in time f( n) that solves the problem.
Một vấn đề quyết định Một có thể được giải quyết kịp thời f( n) nếu tồn tại một máy Turing hoạt động kịp thời f( n) giải quyết vấn đề.

In late 1940, John von Neumann defined life as a creation(as a being or organism) which can reproduce itself and simulate a Turing machine.
Cuối năm 1940, John von Neumann định nghĩa Life như một tạo phẩm có thể tự tái sản xuất và tương tự với một máy Turing.

The looped logic allowed the conception of a Turing Machine that could create its own instruction and, in principle, run a huge variety of calculations.
Logích chạy vòng( lôgích kia là chạy thẳng) cho phép một máy Turing trong khái niệm có thể tạo ra những hướng dẫn của riêng nó, và trên nguyên tắc, có thể“ chạy” một loạt lớn những tính toán khác loại.

Therefore the universe is capable of expressing elementary arithmetic and like both mathematics itself and a Turing machine, is incomplete.
Do đó vũ trụ( thế giới vật lý) có khả năng biểu diễn được bằng số học sơ cấp và giống như bản thân toán học và computer, vũ trụ ấy là bất toàn.

A Turing machine that is able to simulate any other Turing machine is called a universal Turing machine(or simply a universal machine)..
Máy Turing mà có khả năng mô phỏng lại hoạt động của tất cả các máy Turing khác được gọi là máy Turing vạn năng( hay đơn giản là máy vạn năng).

Simultaneously, in the eight decades since Alan Turing formulated the idea of a Turing Machine, computer scientists have learned to engineer increasingly sophisticated electronic algorithms.
Đồng thời, trong tám chục năm kể từ khi Alan Turing đã hình thành ý tưởng về một Máy Turing, những nhà khoa học computer đã học để thiết kế những algorithm điện tử ngày càng tinh vi.

The fact remains that everyone who taps at a keyboard, opening a spreadsheet or a word processing program, is working on an incarnation of a Turing Machine.”.
Nhưng khi mỗi chúng ta gõ bàn phím để mở một trang mạng hay một chương trình xử lý từ ngữ( word- processing program), thì thực tế là ta đang làm việc trên một chiếc máy hiện thân của Máy Turing”.

For instance, the operation of a Turing machine can be regarded as the time evolution of the machine's control state together with the state of the tape(or possibly multiple tapes) including the position of the machine's read-write head(or heads).
Ví dụ, hoạt động của máy Turing có thể được coi là sự tiến hóa theo thời gian của trạng thái điều khiển của máy cùng với trạng thái của băng( hoặc có thể là nhiều băng), bao gồm cả vị trí của đầu đọc( hoặc đầu) của máy..

It is known that everything that can be computed on other models of computation known to us today, such as a RAM machine, Conway's Game of Life, cellular automata or any programming language can be computed on a Turing machine.
Tất cả các mô hình tính toán hiện nay chẳng hạn như máy RAM, Trò chơi cuộc sống của Conway, automat tế bào, hay bất kì ngôn ngữ lập trình nào cũng đều có thể tính được trên máy Turing.

After Alan Turing was able to determine the effective procedure, inventing an ideally idealized computer, now called a Turing machine(also done independently by Emil Post), it became possible to move more generally.
Sau khi Alan Turing tiếp tục định nghĩa thao tác hiệu quả bằng cách tạo ra một phép tính lý tưởng hóa giản đơn mà ngày nay gọi là máy Turing( cũng được Emil Post độc lập thực hiện thành công), giờ đây đã có thể tiến đến một loại tổng hợp hơn.

Furthermore, it is known that everything that can be computed on other models of computation known to us today, such as a RAM machine, Conway's Game of Life, cellular automata or any programming language can be computed on a Turing machine.
Hơn nữa, mọi người đều biết rằng mọi thứ có thể được tính toán trên các mô hình tính toán khác mà chúng ta biết ngày nay, như máy RAM, Trò chơi cuộc sống của Conway, máy tự động di động hoặc bất kỳ ngôn ngữ lập trình nào đều có thể được tính toán trên máy Turing.

The Church-Turing thesis says that a physical system can express elementary arithmetic just as a human can, and that the arithmetic of a Turing Machine(computer) is not provable within the system and is likewise subject to incompleteness.
Luận đề Church- Turing nói rằng một hệ vật lý có thể thể hiện số học sơ cấp y như con người, và rằng số học của Máy Turing( tức computer, ND) không thể chứng minh được bên trong hệ thống đó và do đó computer cũng bất toàn.

Turing provided an influential formalisation of the concept of the algorithm and computation with the Turing machine, formulating the now widely accepted"Turing" version of the Church- Turing thesis, namely that any practical computing model has either the equivalent or a subset of the capabilities of a Turing machine.
Turing cung cấp một sự chính thức hóa có ảnh hưởng của khái niệm thuật toán và tính toán với máy Turing, tạo ra phiên bản“ Turing” được chấp nhận rộng rãi của luận án Church- Turing, cụ thể là bất kỳ mô hình điện toán thực tế nào cũng có khả năng tương đương hoặc là một tập hợp con của các khả năng của một máy Turing.

Gentzen's proof is arguably finitistic, since the transfinite ordinal ε0 can be encoded in terms of finite objects(for example, as a Turing machine describing a suitable order on the integers, or more abstractly as consisting of the finite trees, suitably linearly ordered).
Định lí của Gentzen được cho là có tính hữu hạn, vì số thứ tự siêu hạn ε0 có thể được mã hóa bằng các đối tượng hữu hạn( ví dụ, như một máy Turing mô tả một trật tự phù hợp trên các số nguyên, hoặc trừu tượng hơn là bao gồm các cây hữu hạn, được sắp xếp tuyến tính phù hợp).

The finite state machine has less computational power than some other models of computation such as the Turing machine.[1] The computational power distinction means there are computational tasks that a Turing machine can do but a FSM cannot.
Máy trạng thái hữu hạn có công suất tính toán thấp hơn một số mô hình tính toán khác như máy Turing.[ 1] Sự khác biệt năng lực tính toán cũng có nghĩa là có những bài toán mà máy Turing có thể thực hiện, nhưng máy trạng thái thì không.

Software requires the concept of a general-purpose processor- what is now described as a Turing machine- as well as computer memory in which reusable sets of routines and mathematical functions comprising programs can be stored, started, and stopped individually, and only appears recently in human history.
Phần mềm yêu cầu khái niệm về bộ xử lý đa năng- hiện được mô tả là máy Turing- cũng như bộ nhớ máy tính trong đó các bộ thói quen và chức năng toán học có thể sử dụng bao gồm các chương trình có thể được lưu trữ, khởi động và dừng riêng lẻ và chỉ xuất hiện gần đây trong lịch sử loài người.

In 1936, Alan Turing introduced the Universal Turing machine- a theoretical device that can model every computation that can be performed on a Turing complete computing machine..
Năm 1936, Alan Turing đã giới thiệu thiết bị lý thuyết Universal Turing machine Có thể mô hình hóa mọi tính toán có thể được thực hiện trên một máy tính hoàn chỉnh Turing.

In 1936, Alan Turing introduced the Universal Turing machine- a theoretical device that can model every computation that can be performed on a Turing complete computing machine, it is a finite-state machine..
Năm 1936, Alan Turing đã giới thiệu thiết bị lý thuyết Universal Turing machine Có thể mô hình hóa mọi tính toán có thể được thực hiện trên một máy tính hoàn chỉnh Turing.[ 9] Đây là một máy trạng thái hữu hạn có băng đọc/ ghi dài vô hạn.

Any quantum algorithm can be expressed formally as a particular quantum Turing machine.
Bất kỳ thuật toán lượng tử nào cũng có thể được biểu diễn chính thức như một máy Turing lượng tử cụ thể.

Iriyama, Ohya, and Volovich have developed a model of a linear quantum Turing machine(LQTM).
Iriyama, Ohya và Volovich đã phát triển một mô hình của máy Turing lượng tử tuyến tính( LQTM).