Сайт студентов математиков для студентов математиков!

Частичные функции

ПРИМЕР f(x)-рекурсивная фун-ция (n+1)местная т. к. n=0, h-const=a,

(1): f(0)=a

(2): f(y+1)=

1ой и 2ой операторы из всюдуопределённых фук-ций могут получать всюду опред-ные фун-ции. т.е. операторы порождают всюдуопред-ные. Но это не значит что они порождают всё полное прост-во всюдуопред-ных фун-ций т. е. порождают замкнутый класс всюдуопред-ных фун-ций

ЗАМ. Недостающее множество всюду опред-нфх фун-ций порождается сл. оператором.

3)Оператор минимизации

Частичные фун-ции

которые опред-ся сл образом :

А)область определения

,

Б) равна наим. знач. для кот выполнено условие

=

ЗАМ. чобы построить полной пространство частич опред фун-ций с помощью опрета-ра минимизации необходимо брать более широкое мн-во одноместных фун-ций f, но не каждая фун-ция может обращаться в ноль, при каком-то значении n+1 аргумент фун-ции h может не СУщ-ать минимал значения y.

Из всего сказанного следует, что хотя в общем всё мн-во ф-ций, определённых с помощтю оператора минимизиции, названо нами мн-вом частич опред-ных ф-ций, но часть из них может быть и всюдуопред-ыми, поэтому будем считать что мн-во всюдуопред. Ф-ций включено виде подмножества в полной мн-во всех частич. опред. ф-ций. Т. е. всюду опред. ф-ция –это часный предельный случай ля частично опред. ф-ций. Все три оператора позволяют строить полное-мн-во част. опред. ф-ций включая и все всюдуопред. ф-ции.

ЗАМ. Если мы не оговариваем конкретно с помощью каких операторов построена конкретная ф-ций, то в общем мы предпологаем, что исп опер. прим. рек. Поэтому общее название частич. опред. ф-ций=ЧАСТИЧНО_РЕКУРСИВНЫЕ Ф_ЦИИ. Если же конкретная ф-ция явл-ся всюдуопред-ной, то её будем наз-вать ОБЩАЯ рек-ная ф-ций. Если же ф-ций построена без помощи опре. минимизации, то назовем её ПРИМИТИВНО рекурсивной.

Идея Г-К состоит в том что все вычисляемый фун-ции явл-ся частично рекурс.,как и подходы других авторов с аналогичным тезисом(ток назв ф-ций другие)до сих пор нет строгого док-ва, но и не опровергнуто, а практически подтверждается. СУЩ-ют критерии кот-ый позваляют установить св-во ЧАСТИЧНОЙ рекурсив-ти сразу для общирных классов. ВЫВОД:сущ-ют обще рекурсивные ф-ции которые не могут быть постороенны без применения третьего оператора.

28.Примеры рекурсивности (примитивно-рекурсивных и общерекурсивных функций)

1, сложение двух чисел

SUM: ( X, Y )

всюду определённая функция

1)SUM(X,0)=x — prпроекция

2)SUM(X, Y+1)=(X+Y)+1=S(SUM(X, Y)) ф-ция следования

1)и5)образуют оператор ПРИМЕТИВНОЙ рекурсии, а т. к. всюдуопределена, то она ОБЩЕРЕКУРСИВНА

2,Ф-ция перемножения

Prod: (x, y)=x*y

всюдуопределена

1)prod(x.0)=0 нулевая ф-ция

2)prod(x, y+1)=x*y+x=SUM(prod(y. x),x)

1)и2)-ПРИМЕТИВНОрекурсивнаяОБЩЕРЕКУРСИВНАЯ

3,Усечённое вычитание единицы

1)

ф-ция проэкции т. е. ОБЩЕРЕКУРСИВНАЯ

4,Усеченная разность

общерекурсивная

5,Модуль разности

6,Факториальная n!=1*2//(n-1)*n=

Ф-ла 1ого разряда

1)0!=1

7,Минимум от(x, y)

8,Знак числа

9,Остаток от целочисленного деления

2) (x, y+1)=prod(s( (x, y)),sg( | x — s( (x, y))| )

(29)исчисление – это безтиповая теория, которая рассматривает функции, как правила, а не как графики. В традиционном подходе: два представления выражают одну и ту же функцию, а с точки зрения исчисления они выражают разные функции, так как правила вычисления различны. исчисление – это прикладное исчисление предикатов 1-го порядка (ПИП 1-го порядка).