Машина Тьюринга

Автор: Пользователь скрыл имя, 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

Работа содержит 1 файл

курсовой ДС.doc

— 196.00 Кб (Скачать)

Управляющее устройство работает согласно правилам перехода, которые представляют алгоритм, реализуемый данной машиной  Тьюринга. Каждое правило перехода предписывает машине, в зависимости от текущего состояния и наблюдаемого в текущей клетке символа, записать в эту клетку новый символ, перейти в новое состояние и переместиться на одну клетку влево или вправо. Некоторые состояния машины Тьюринга могут быть помечены как терминальные, и переход в любое из них означает конец работы, остановку алгоритма.

Машина Тьюринга называется детерминированной, если каждой комбинации состояния и  ленточного символа в таблице  соответствует не более одного правила. Если существует пара (ленточный символ -- состояние), для которой существует 2 и более команд, такая машина Тьюринга называется недетерминированной.

Время выполнения курсовой работы, были приобретены навыки составления машины Тьюринга, реализована машина Тьюринга программно с помощью функций Javascript и визуально оформлено с помощью HTML и CSS.

 

СПИСОК ЛИТЕРАТУРЫ

 

  1. Баррет Д. JavaScript. Web-профессионалам. - Киев: БХВ - Киев, 2001.
  2. Бранденбау Д. JavaScript: сборник рецептов. - СПб.: Питер, 2000.
  3. Будилов В. JavaScript, XML и объектная модель документа. - СПб.: НиТ, 2001.
  4. Вагнер Р. JavaScript. Энциклопедия пользователя (+CD-ROM). - Киев: ДиаСофт, 2001.
  5. Вайк А. JavaScript в примерах. - Киев: ДиаСофт, 2000.
  6. Вандер Вер Э. JavaScript для "чайников". - Диалектика, 2001.
  7. Вейнер П. Языки программирования JAVA и JavaScript. - М: ЛОРИ, 2000.
  8. Гарнаев А. Web-программирование на Java и JavaScript. - СПб.: БХВ Санкт-Перебург, 2002.

 

 

Приложение А

Техническое задание

 

1 Основание для разработки (основанием для разработки является задание на курсовую работу, выданное кафедрой прикладной математики и информатики).

2 Цель разработки (целью разработки  является создание программной  модели машины Тьюринга, распознающий  заданный язык).

язык L = {wÎ{0, 1}* │w не содержит 2-х идущих подряд нулей},

3 Требования к программе:

запрет ввода с клавиатуры символов не из входного алфавита заданного  языка;

вывод на экран каждого шага работы машины Тьюринга;

сохранение протокола работы машины Тьюринга в текстовом файле;

4 Требования к программной документации:

      • пояснительная записка;
      • руководство пользователя.

 

Приложение Б

Экранные формы программы

 

      • Рис.1 – Окно программы 

Рис.2 – Окно команд

 

 

Рис.3 – Окно при завершении работы машины Тьюринга

 


Информация о работе Машина Тьюринга