
- •Введение
- •Описание формальной модели алгоритма на основе рекурсивных функций
- •Аналитическая модель Машины Тьюринга
- •2.1 Элементарная Машина Тьюринга
- •2 Трассировка алгоритма на каком-то контрольном значении Рисунок 1 - Тестирование Машины Тьюринга .2 Композиция Машин Тьюринга
- •Распознающая Машина Тьюринга
- •3.1 Постановка задачи
- •2.3.2 Описание распознающей Машины Тьюринга
- •Аналитическая модель Нормальных алгоритмов Маркова
- •Заключение
- •Список ссылок
Аналитическая модель Нормальных алгоритмов Маркова
Придумать нормальный алгоритм Маркова для вычисления операции целочисленного деления в унарном коде. Входные данные содержат делимое и делитель, разделённые символом “*”.
Пример входных данных: 11111*11
Пример выходных данных: 11
Рисунок 1 - Нормальный алгоритм Маркова для целочисленного деления
Тестирование алгоритма:Входные данные: 1111*11
Выходные данные: 11
Рисунок 4.2 — Пример тестирования НАМ
Заключение
В данной курсовой работе было сделано следующее:
изучены примитивно-рекурсивные функции;
исследованы Машины Тьюринга;
исследованы композиции Машин Тьюринга;
построена распознающая Машина Тьюринга;
создано приложение для демонстрации работы Машин Тьюринга;
исследованы нормальные алгоритмы Маркова;
построен нормальный алгоритм для функции целочисленного деления;
Список ссылок
Википедия — Машина Тьюринга [электрон. Ресурс] - Режим доступа: http://ru.wikipedia.org/wiki/Машина_Тьюринга
Википедия — Рекурсивная функция (теория вычислимости) [электрон. Ресурс] - Режим доступа: http://ru.wikipedia.org/wiki/Рекурсивная_функция_(теория_вычислимости)
3. Алферова З.В. Теория алгоритмов. – М.: Статистика, 1973. – 164с.
Приложение А
Листинг программы
ПРИЛОЖЕНИЕ Б
ТЕХНИЧЕСКОЕ ЗАДАНИЕ НА КУРСОВУЮ РАБОТУ
МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ УКРАИНЫ
ДОНЕЦКИЙ НАЦИОНАЛЬНЫЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ
ТЕХНИЧЕСКОЕ ЗАДАНИЕ
К КУРСОВОЙ РАБОТЕ
НА ТЕМУ: «Построение аналитических моделей алгоритмов и
оценка их сложности »
ПО КУРСУ: «Дискретные структуры»
Выдано:
студенту группы ПС-09а
Глумову Артёму
Руководитель:
Коломойцева И.А.
____________________
Донецк – 2009
1 Основанием для разработки является задание на курсовую работу, выданное кафедрой прикладной математики и информатики.
2 Целью разработки является создание программной модели машины Тьюринга, распознающий язык L = { www│w{0, 1}*}, расчет и экспериментальная проверка расчета временной сложности МТ.
3 Требования к программе:
– при проверке слова на принадлежность языку необходимо запретить ввод с клавиатуры символов не из входного алфавита заданного языка;
– при проверке слова на принадлежность языку выводить на экран каждый шаг работы машины Тьюринга;
– сохранять протокол работы машины Тьюринга в текстовом файле;
– при построении графика временной сложности работы машины Тьюринга значения для графика получить практически, с помощью созданной программной модели машины Тьюринга; для генерации слов длиной n использовать метод полного перебора.
4 Требования к программной документации:
пояснительная записка;
руководство пользователя.
5 Этапы разработки
№ этапа |
Наименование этапа |
Срок выполнения |
1 |
Выдача задания, составление ТЗ и его утверждение |
2 недели |
2 |
Техническое проектирование. Построение формальных моделей алгоритмов. |
2-4 недели |
3 |
Рабочее проектирование. Определение структур данных для представления МТ, построение алгоритмов. |
4-5 недели |
4 |
Написание программы |
5-9 недели |
5 |
Отладка программы |
9-12 недели |
6 |
Написание пояснительной записки |
9-13 недели |
7 |
Защита курсовой работы |
13-14 недели |