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

Как заставить свой компьютер эмулировать компьютер. Хотя у вас может не быть доступа к физической машине Тьюринга, это не должно помешать вам смоделировать машину Тьюринга с помощью… вашего компьютера! Я расскажу о том, как работают машины Тьюринга, и о коде Python, чтобы построить простую машину для проверки предполагаемых палиндромов. Я знаю, что программы, которые проверяют палиндромы, являются обычным упражнением для новичков в программировании, и что вы можете просто проверить их..

(и предложение сделать это проще) Все начинается с машины Тьюринга (ТМ): простого устройства, состоящего из головки чтения-записи; бесконечно длинная лента с ячейками, содержащими единицу или ноль; и набор команд, которые сообщают головке чтения и записи стереть или записать (единицу или ноль) и переместиться вперед или назад на одну или несколько ячеек. «Программа» — это набор команд, необходимых для преобразования последовательности нулей и единиц на ленте в другую..