Автор: Пользователь скрыл имя, 21 Апреля 2013 в 09:41, курсовая работа
Машина Тьюринга называется детерминированной, если каждой комбинации состояния и ленточного символа в таблице соответствует не более одного правила, и недетерминированной в противном случае.
Цель – сформировать формальное определение и написать программную реализацию машины Тьюринга, распознающей язык L = {wÎ{0, 1}* │w не содержит 2-х идущих подряд нулей}
Результат – формальное определение, программная реализация машины Тьюринга, распознающей язык L = {wÎ{0, 1}* │w не содержит 2-х идущих подряд нулей}
Ведение………………………………………………………………...4
ПОСТАНОВКА ЗАДАЧИ……………………………………….........6
ФОРМАЛЬНО ОПРЕДЕЛЕНИЕ МАШИНЫ ТЬЮРИНГА………..7
ПРОГРАММНАЯ МОДЕЛЬ МАШИНЫ ТЬЮРИНГА……….........8
ПРОТОКОЛЫ РАБОТЫ МАШИНЫ ТЬЮРИНГА……...................22
ВЫВОД………………………………………………………………..23
СПИСОК ЛИТЕРАТУРЫ…………………….………..………...... 25
Приложение А……………………………………………………....... 25
Приложение Б………………………………………………………....27
11.Экранные формы программы………………………… …………....27
Управляющее устройство работает согласно правилам перехода, которые представляют алгоритм, реализуемый данной машиной Тьюринга. Каждое правило перехода предписывает машине, в зависимости от текущего состояния и наблюдаемого в текущей клетке символа, записать в эту клетку новый символ, перейти в новое состояние и переместиться на одну клетку влево или вправо. Некоторые состояния машины Тьюринга могут быть помечены как терминальные, и переход в любое из них означает конец работы, остановку алгоритма.
Машина Тьюринга называется детерминированной, если каждой комбинации состояния и ленточного символа в таблице соответствует не более одного правила. Если существует пара (ленточный символ -- состояние), для которой существует 2 и более команд, такая машина Тьюринга называется недетерминированной.
Время выполнения курсовой работы, были приобретены навыки составления машины Тьюринга, реализована машина Тьюринга программно с помощью функций Javascript и визуально оформлено с помощью HTML и CSS.
Приложение А
1 Основание для разработки (основанием для разработки является задание на курсовую работу, выданное кафедрой прикладной математики и информатики).
2 Цель разработки (целью разработки является создание программной модели машины Тьюринга, распознающий заданный язык).
язык L = {wÎ{0, 1}* │w не содержит 2-х идущих подряд нулей},
3 Требования к программе:
запрет ввода с клавиатуры символов не из входного алфавита заданного языка;
вывод на экран каждого шага работы машины Тьюринга;
сохранение протокола работы машины Тьюринга в текстовом файле;
4 Требования к программной
Рис.2 – Окно команд
Рис.3 – Окно при завершении работы машины Тьюринга