Программная система моделирования работы машины Тьюринга

С помощью программного комплекса "Машина Тьюринга" Вы можете изучать на примерах принципы работы столь необычного вычислительного устройства – машины Тьюринга (МТ). Кроме того Вы можете сами создавать, отлаживать и исполнять полноценные программы МТ, а также проверять их формальную корректность и собирать подробную статистику выполнения.

Отличительные черты:

• Возможность быстрого и эффективного редактирования алгоритма, его сохранения в файл или загрузки в любой момент времени.
• Быстрое добавление повторяющихся данных на ленту.
• Возможность проверки условной корректности написанных программ.
• Исполнение и отладка в трех режимах, ведение статистики переходов и применяемых правил.
• Удобный в использовании оконный интерфейс приложения.
• Наличие расширенной справочной системы.
• Возможность приобретения исходных кодов для изучения устройства ПС.

Скачать ПС вы можете здесь. Домашняя страница ПС "Машина Тьюринга".