Мне понравилось объяснение в статье одно- и многоленточных TM. Это обеспечило хороший обзор основных понятий, вовлеченных. Однако последний абзац оставил меня в замешательстве с утверждением, что любая программа, которая может быть запущена на TM, также может быть запрограммирована и запущена в JS.
Мне кажется, что это положение требует доказательства помимо простого утверждения, не так ли? Ведь статья представлена как «Объяснение» идеи о том, что JavaScript — это машина Тьюринга. Простое заявление о том, что JS может запускать любую программу, которую может запускать «Машина Тьюринга», и поэтому называется «Turing Complete», объясняет только потенциальное использование терминологии. То есть мы можем применить к JS рубрику «Полный по Тьюрингу», и это будет правильно сформулированное утверждение (т. е. и JS, и ТМ являются четко определенными терминами), но это неполное объяснение эквивалентности двух терминов. . Такое объяснение — на самом деле доказательство — потребовало бы демонстрации того, что произвольная последовательность из n операций машины Тьюринга может быть отображена в соответствующую последовательность правильно сформированных операторов программирования JS.
Я понимаю, что это, вероятно, выходит за рамки того, что статья пытается сделать, но я считаю, что было бы добрее по отношению к читателю пообещать только объяснить, что означает утверждение, что Java Script завершен по Тьюрингу, что статья делает довольно хорошо, а не представляет это как свершившийся факт, что в статье утверждается, но не совсем демонстрируется.
