Значок — это нолик или единичка в конкретной ячейке ленты, ведь так?
Помимо ленты еще есть состояние, где хранится оно?
Короче я веду к тому, что в заголовке топика — явная гипербола.
Вы используете комментарии как ленту для машины Тьюринга и только.
В принципе, для этой задачи пригоден и обычный листок клетчатой бумаги — но конечно статья про такое необычное использование листа бумаги врядли будет пользоваться успехом)
Вам надо бы плагин для браузера написать, который за пользователя сам всё кликает (отчаяно надеялся увидеть ссылку на плагин в топике :) )
В Машине Тьюринга самое занимательное это как раз её «анимация». В университете был предмет, по которому были небольшие задачки на машине тьюринга. А так как в ручную писать лень, то использовались всякие симуляторы. Так вот самое большое удовольствие было после написание алгоритма, спустить симуляция и наблюдать как каретка движется туда сюда и меняет символы пока не перепишет всё до финального результата. По мне так это самое живое представление работы алгоритма.
Если я правильно понял, то получается очень ограниченная машина Тьюринга.
В качестве ленты используется диагональная цепочка комментариев.
Состояние поддерживается в уме, так что множество состояний не ограничено.
А вот алфавит ленты — это только {«Не в избранном», «В избранном»}.
Полна ли такая машина Тьюринга (предположим что лента комментариев неограничена, а отличие от нормальной МТ только в том, что алфавит фиксирован)?
А вообще комментарии больше подходят для реализации поверх них машины Поста, там как раз алфавит ленты состоит из двух символов.
Ограниченность алфавита не мешает. Универсальная машина Тьюринга как раз всё кодирует в двоичном виде. А вот ограниченность ленты комментариев — это уже более сильное ограничение.
Используем хабракомментарии как машину Тьюринга