Выполнение программы машины Тьюринга в автоматическом режиме
Программа машины Тьюринга запускается на выполнение при нажатии на кнопку «Старт» или клавишу F9 (здесь и далее под словосочетанием «программа машины Тьюринга» или «выполнение программы машины Тьюринга» будем подразумевать список команд машины Тьюринга или выполнение списка команд машины Тьюринга). Перечень команд машины Тьюринга формируется в таблице списка команд (в соответствии с п.2 рисунка 1). Выполнение программы может осуществляться в автоматическом или пошаговом режимах. Останов выполнения программы машины Тьюринга происходит в случае, если не будет найдена соответствующая команда программы машины Тьюринга. Процесс перемещения головки чтения/записи вдоль ленты имитируется при помощи подсветки синего цвета. Процесс автоматического выполнения программы машины Тьюринга может быть прерван нажатием клавиши «Сброс» или приостановлен при достижении контрольной точки прерывания (см. раздел 4.2.2).
В процессе выполнения программы может произойти зацикливание. Для предотвращения бесконечного выполнения программы машины Тьюринга разработчиком предусмотрена возможность эвристического анализа на выявление явной или неявной рекурсии. Попытка выявления рекурсии может быть предпринята на этапе формирования списка команд программы. Для этого необходимо вызвать пункт меню «Сервис»->«Проверка данных» (клавиши Ctrl+F9). Если анализатор выявит рекурсию, то в разделе «Команды» будет выведено соответствующее сообщение. Если анализатор не смог выявить рекурсию, то разработчиком предусмотрена возможность выявления зацикливания в процессе выполнения программы машины Тьюринга. Для этого необходимо вызвать диалоговое окно настроек параметров оболочки тренажера («Сервис»-> «Параметры» или клавиша F11) и на вкладке «Выполнение» установить флаг «Проверять на зацикливание». При следующем запуске программы машины Тьюринга будет проверяться ситуация зацикливания.
|
|
|
В автоматическом режиме можно установить скорость перемещения головки чтения/записи вдоль входной ленты. Для этого необходимо в диалоговом окне «Сервис»->«Параметры» на вкладке «Выполнение» установить бегунок линейки «Интервал между командами (сек)» на требуемое значение времени задержки выполнения между командами.
Помимо указанных настроек на вкладке «Выполнение» имеется возможность установки дополнительных опций выполнения программы машины Тьюринга: «Использовать контрольные точки», «Пошаговый режим» и «Сохранять файл при старте машины». Установка флага «Использовать контрольные точки» приводит к тому, что при выполнении программы машины Тьюринга при достижении контрольной точки прерывания выполнение программы МТ приостанавливается и возобновляется при нажатии на клавиши F9 (автоматический режим выполнения) или F8 (пошаговый режим выполнения). Сброс флага данной опции приводит к тому, что при выполнении программы МТ контрольные точки прерывания игнорируются.
|
|
|
Установка флага «Пошаговый режим» приводит к тому, что при достижении контрольной точки прерывания дальнейшее продолжение работы МТ происходит только в пошаговом режиме.
Установка флага «Сохранять файл при старте машины» приводит к тому, что при запуске программы машины Тьюринга происходит автоматическое сохранение в файл описания машины Тьюринга.
Среди остальных параметров настройки следует выделить следующую опцию-«Ограничивать кол-во #» на вкладке «Сервис»-> «Параметры» -> «Общие». Назначение этой опции в том, что символ # представляет собой «пустой символ», которые располагаются слева и справа от некоторого слова на ленте и их количество неограниченно /1/. Поэтому при перемещении головки чтения/записи за границу слова, составленного из символов входного алфавита, необходимо добавлять символ # справа или слева от слова. Количество символов #, которые могут быть добавлены во время работы программы машины Тьюринга и определяется данным параметром.
Дата добавления: 2015-12-21; просмотров: 15; Мы поможем в написании вашей работы! |
Мы поможем в написании ваших работ!