Поддерживаются любые символы. Используйте "_" для пустой ячейки.
Движения головки
L - влево
R - вправо
S - оставаться на месте
Пример правила
q0 + [a,_] → q1 + [a,a] + [R,R]
Из состояния q0, читая 'a' на первой ленте и '_' на второй, перейти в q1, записать 'a' на обе ленты и сдвинуть обе головки вправо.
Запуск симуляции
Пошаговое выполнение
Используйте кнопку Step для детального изучения каждого перехода.
Автоматическое выполнение
Нажмите Play для непрерывного выполнения. Регулируйте скорость по необходимости.
Отслеживание прогресса
Текущее состояние отображается в статусной строке
Активное правило подсвечивается
Измененные ячейки анимируются
Прогресс-бар показывает выполнение длинных вычислений
Преобразование в одноленточную машину
Любая многоленточная машина Тьюринга может быть преобразована в эквивалентную одноленточную машину.
Принцип преобразования
Все ленты объединяются в одну с разделителями
Позиции головок отмечаются специальными символами
Каждый шаг многоленточной машины эмулируется серией шагов одноленточной
Сложность
Время выполнения может увеличиться квадратично, но вычислимость сохраняется.
Примеры использования
Копирование строки (2 ленты)
Копирует входную строку с первой ленты на вторую. Демонстрирует базовые операции чтения и записи.
Сложение чисел (3 ленты)
Складывает два унарных числа. Показывает использование третьей ленты как рабочего пространства.