КАТЕГОРИИ:
Архитектура-(3434)Астрономия-(809)Биология-(7483)Биотехнологии-(1457)Военное дело-(14632)Высокие технологии-(1363)География-(913)Геология-(1438)Государство-(451)Демография-(1065)Дом-(47672)Журналистика и СМИ-(912)Изобретательство-(14524)Иностранные языки-(4268)Информатика-(17799)Искусство-(1338)История-(13644)Компьютеры-(11121)Косметика-(55)Кулинария-(373)Культура-(8427)Лингвистика-(374)Литература-(1642)Маркетинг-(23702)Математика-(16968)Машиностроение-(1700)Медицина-(12668)Менеджмент-(24684)Механика-(15423)Науковедение-(506)Образование-(11852)Охрана труда-(3308)Педагогика-(5571)Полиграфия-(1312)Политика-(7869)Право-(5454)Приборостроение-(1369)Программирование-(2801)Производство-(97182)Промышленность-(8706)Психология-(18388)Религия-(3217)Связь-(10668)Сельское хозяйство-(299)Социология-(6455)Спорт-(42831)Строительство-(4793)Торговля-(5050)Транспорт-(2929)Туризм-(1568)Физика-(3942)Философия-(17015)Финансы-(26596)Химия-(22929)Экология-(12095)Экономика-(9961)Электроника-(8441)Электротехника-(4623)Энергетика-(12629)Юриспруденция-(1492)Ядерная техника-(1748)
Правило примитивной рекурсии
|
|
|
|
Функция-проекция
(4.3)
Правила преобразования функций
1. Правило подстановки (суперпозиции)
Пусть даны функции:
Тогда
(4.4)
где g и h являются или простейшими, или выведенными из простейших.
Правило вывода (4.4) означает, что функция 
получена из функций 
правилом суперпозиции
ПРИМЕР
Функция
может быть получена путем применения 
раз правила суперпозиции на основе функций 
, (4.5)
Основывается на простейших или выведенных из простейших функциях g и h:
Пусть
Тогда новая функция 
может быть выведена по правилу:
(4.6)
Следует отметить, что функция 
зависит от 
аргументов, функция зависит от 
аргументов, функция 
зависит от 
аргументов. Иначе говоря, правило примитивной рекурсии позволяет получить n + 1 -местную функцию из n -местной и n + 2 - местной функций.
ПРИМЕР
Пусть некоторая функция 
задана правилом рекурсии
Нетрудно заметить, что функция 
, функция 
Вычислим значение функции при 
.
Нетрудно заметить, что функция выполняет сложение двух чисел 
и 
.
3. m - оператор (оператор нахождения наименьшего корня у)
Оператор 
определяет наименьшее значение у, при котором 
при фиксированном значении. Принято обозначение
(4.7)
(Читается: «наименьшее такое, что »). Аналогично определяется функция многих переменных:
(4.8)
Для вычисления функции 
существует следующий алгоритм:
1. Вычисляется 
. Если это значение функции равно нулю, то 
. Если 
, то осуществляется переход к следующему шагу.
2. Вычисляется 
. Если это значение функции равно нулю, то 
. Если 
, то осуществляется переход к следующему шагу. И т. д.
Если окажется, что для всех функция 
, то функция 
считается неопределенной.
ПРИМЕР
Дана функция 
. Необходимо определить при 
Таким образом, 
Функция 
называется частично рекурсивной, если она получена из простейших функций за конечное число шагов на основе правил подстановки, примитивной рекурсии или m - оператора.
Функция называется примитивно рекурсивной, если она может быть получена из простейших функций за конечное число шагов на основе правил подстановки, примитивной рекурсии.
Функция называется общерекурсивно й, если она частично рекурсивная и всюдуопределенная.
Тезис А. Черча. Если функция является общерекурсивной, то она выполнима, т.е. имеет алгоритм решения.
4.2. Машина Тьюринга
Если для решения некоторой массовой проблемы известен алгоритм, то для его реализации необходимо лишь четкое выполнение предписаний этого алгоритма. Автоматизм, необходимый при реализации алгоритма, приводит к мысли о передаче функции человека, реализующий алгоритм, машине. Идею такой машины предложил в 1937 году английский математик А. Тьюринг.
Машина Тьюринга включает в себя:
1. Внешний алфавит - конечное множество символов 
. В этом алфавите в виде слова кодируется та информация, которая подается в машину. Машина перерабатывает информацию, поданную в виде слова, в новое слово. Обычно символ 
обозначает пробел.
2. Внутренний алфавит - конечное множество символов 
. Для любой машины число состояний фиксировано. Два состояния имеют особое назначение 
- начальное состояние машины, 
- заключительное состояние (стоп-состояние).
3. Операторы перемещения Т={Л, П, Н}. Л, П, Н – это символы сдвига «влево», «вправо» и «на месте».
4. Бесконечная лента Бесконечная лента характеризует память машины. Она разбита на клеточки. В каждую клеточку может быть записан только один символ из внешнего алфавита.
5. Управляющая головка. Управляющая головка (УГ) передвигается вдоль ленты и может останавливаться напротив какой-либо клетки, т. е. считывать символ
6. Управляющая головка. Управляющая головка (УГ) передвигается вдоль ленты и может останавливаться напротив какой-либо клетки, т. е. считывать символ.
Рис. 4.1. Функциональная схема машины Тьюринга.
|
|
|
|
Дата добавления: 2013-12-12; Просмотров: 406; Нарушение авторских прав?; Мы поможем в написании вашей работы!