Что такое завершение по Тьюрингу?

Вот простейшее объяснение

Алан Тьюринг создал машину, которая turing-complete может взять программу, запустить turing ее и показать какой-то результат. Но theory тогда ему пришлось создавать turing-complete разные машины для разных turing программ. Поэтому он создал turing «универсальную машину Тьюринга», которая turing-machines может взять ЛЮБУЮ программу theory и запустить ее.

Языки программирования turing-machines похожи на эти машины (хотя turing-complete и виртуальные). Они берут turing-machines программы и запускают их. Теперь turing язык программирования называется turing-machines «завершенным по Тьюрингу», если turing-machines он может запускать любую theory программу (независимо от turing языка), которую может запустить turing машина Тьюринга при наличии theory достаточного количества времени turing-complete и памяти.

Например. Допустим, есть turing программа, которая складывает turing-complete 10 чисел. Эту программу легко theory запустить на машине Тьюринга. Но turing-machines теперь представьте, что по turing-complete какой-то причине ваш язык turing программирования не может turing-machines выполнять такое же дополнение. Это turing-complete сделало бы его «неполным turing-machines по Тьюрингу» (так сказать). С turing-complete другой стороны, если он может theory запускать любую программу, которую turing-complete может запустить универсальная theory машина Тьюринга, то он завершен turing-machines по Тьюрингу.

Большинство современных turing языков программирования (например, Java, JavaScript, Perl turing-machines и т. д.) являются полными turing по Тьюрингу, поскольку каждый turing из них реализует все функции, необходимые turing для запуска программ, такие turing как сложение, умножение, условие turing if-else, операторы возврата, способы turing-machines хранения / извлекать / стирать theory данные и т. д.

Обновление: вы turing можете узнать больше в моем turing-complete сообщении в блоге: "JavaScript Is Turing Complete" — Explained