- •Теория множеств.
- •Свойства подмножеств.
- •Операции над множествами.
- •Алгебра теории множеств.
- •Решение уравнений алгебры множеств.
- •Кортеж.
- •Проекция множества.
- •График и свойства графика
- •Свойства графиков.
- •Прямое (декартовое) произведение множество.
- •Соответствия.
- •Отношения.
- •Операции над отношениями.
- •Основные свойства отношений.
- •Решетки. Диаграммы Хассе.
- •Математическая логика Высказывания и операции над высказываниями.
- •Операции над высказываниями.
- •Формулы математической логики.
- •Формулы равносильности.
- •Различные формы представления высказываний
- •Выполнимость формулы алгебры логики
- •Применение математической логики.
- •Минимизация сложных высказываний.
- •Метод Квайна.
- •Метод минимизирующих карт.
- •Метод минимизации с помощью карт Вейча.
- •Булевые функции и их свойства.
- •Функциональная полнота. Теорема Поста.
- •Логика предикат.
- •Логические операции над предикатами.
- •Квантовые операции.
- •Равносильные формулы логики предикатов.
- •Предваренная нормальная форма предиката
- •Теория графов
- •Основные понятия теории графов
- •Эйлеров граф.
- •Множество внутренней устойчивости графа
- •Алгоритм Магу для определения множества внутренней устойчивости графа
- •Множество внешней устойчивости графа
- •Алгоритм Магу для определения множества внешней устойчивости.
- •Множество путей в графе
- •Алгоритм фронта волны. Поиск минимального пути в графе.
- •Алгоритм фронта волны.
- •Ярусно-параллельная форма графов
- •Деревья и леса
- •Алгоритм получения дерева из графа
- •Теория алгоритмов
- •Рекурсивная функция
- •Пусть даны функции:
- •Машина Тьюринга
- •Работа машины Тьюринга:
- •Нормальные алгоритмы Маркова
- •Теория автоматов
- •Законы функционирования автоматов.
- •Задание автоматов
- •Минимизация автоматов
- •Алгоритм минимизации автомата Мили
- •Особенности минимизации автомата Мура. :
- •Минимизация частичных автоматов.
- •Переход от автомата Мили к автомату Мура
- •Переход от автомата Мура к автомату Мили
Рекурсивная функция
Основные понятия: элементарные функции, правила образования новых функций.
Простейшие функции:
Функция сохранения нуля (нуль-функция)
(4.1)
Функция сдвига
(4.2)
Функция-проекция
(4.3)
Правила преобразования функций
Правило подстановки (суперпозиции)
Пусть даны функции:
Тогда
(4.4)
где g и h являются или простейшими, или выведенными из простейших.
Правило вывода (4.4) означает, что функция получена из функций правилом суперпозиции
ПРИМЕР
Функцияможет быть получена путем примененияраз правила суперпозиции на основе функций
, (4.5)
Правило примитивной рекурсии
Основывается на простейших или выведенных из простейших функциях g и h:
Пусть
Тогда новая функция может быть выведена по правилу:
(4.6)
Следует отметить, что функция зависит отаргументов, функциязависит отаргументов, функциязависит отаргументов. Иначе говоря, правило примитивной рекурсии позволяет получитьn + 1-местную функцию из n-местной и n + 2 - местной функций.
ПРИМЕР
Пусть некоторая функция задана правилом рекурсии
Нетрудно заметить, что функция , функция
Вычислим значение функции при.
Нетрудно заметить, что функция выполняет сложение двух чисели.
- оператор (оператор нахождения наименьшего корня у)
Оператор определяет наименьшее значениеу, при котором при фиксированном значении. Принято обозначение
(4.7)
(Читается: «наименьшее такое, что»). Аналогично определяется функция многих переменных :
(4.8)
Для вычисления функции существует следующий алгоритм:
Вычисляется . Если это значение функцииравно нулю, то. Если, то осуществляется переход к следующему шагу.
Вычисляется . Если это значение функцииравно нулю, то. Если, то осуществляется переход к следующему шагу. И т. д.
Если окажется, что для всех функция, то функциясчитается неопределенной.
ПРИМЕР
Дана функция . Необходимо определитьпри
Таким образом,
Функция называетсячастично рекурсивной, если она получена из простейших функций за конечное число шагов на основе правил подстановки, примитивной рекурсии или - оператора.
Функция называетсяпримитивно рекурсивной, если она может быть получена из простейших функций за конечное число шагов на основе правил подстановки, примитивной рекурсии.
Функция называется общерекурсивной, если она частично рекурсивная и всюдуопределенная.
Тезис А. Черча. Если функция является общерекурсивной, то она выполнима, т.е. имеет алгоритм решения.
Машина Тьюринга
Если для решения некоторой массовой проблемы известен алгоритм, то для его реализации необходимо лишь четкое выполнение предписаний этого алгоритма. Автоматизм, необходимый при реализации алгоритма, приводит к мысли о передаче функции человека, реализующий алгоритм, машине. Идею такой машины предложил в 1937 году английский математик А. Тьюринг.
Машина Тьюринга включает в себя:
Внешний алфавит - конечное множество символов . В этом алфавите в виде слова кодируется та информация, которая подается в машину. Машина перерабатывает информацию, поданную в виде слова, в новое слово. Обычно символВнешний алфавит - конечное множество символов обозначает пробел.
Внутренний алфавит - конечное множество символов . Для любой машины число состояний фиксировано. Два состояния имеют особое назначение- начальное состояние машины, - заключительное состояние (стоп-состояние).
Операторы перемещения Т={Л, П, Н}. Л, П, Н – это символы сдвига «влево», «вправо» и «на месте».
Бесконечная лента Бесконечная лента характеризует память машины. Она разбита на клеточки. В каждую клеточку может быть записан только один символ из внешнего алфавита.
Управляющая головка. Управляющая головка (УГ) передвигается вдоль ленты и может останавливаться напротив какой-либо клетки, т. е. считывать символ
Управляющая головка. Управляющая головка (УГ) передвигается вдоль ленты и может останавливаться напротив какой-либо клетки, т. е. считывать символ.
Рис. 4.1. Функциональная схема машины Тьюринга.
Программа машины Тьюринга (Р) - совокупность всех команд, Программа представляется в виде таблицы и называется Тьюринговой функциональной схемой.
|
a0 |
a1 |
a2 |
q1 |
а0Пq1 |
a1Пq1 |
a2Лq2 |
q2 |
а1Пq2 |
a2Нq0 |
a0Нq0 |
Таким образом, машина Тьюринга может быть представлена в виде четверки:
(4.9)