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

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

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

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

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

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

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