Авиационно инженерство Административно право Административно право Беларус Алгебра Архитектура Безопасност на живота Въведение в професията „психолог” Въведение в икономиката на културата Висша математика Геология Геоморфология Хидрология и хидрометрия Хидросистеми и хидравлични машини Културология Медицина Психология икономика дескриптивна геометрия Основи на икономически т Oria професионална безопасност Пожарна тактика процеси и структури на мисълта, Професионална психология Психология Психология на управлението на съвременната фундаментални и приложни изследвания в апаратура социалната психология социални и философски проблеми Социология Статистика теоретичните основи на компютъра автоматично управление теория на вероятностите транспорт Закон Turoperator Наказателно право Наказателно-процесуалния управление модерна производствена Физика Физични феномени Философски хладилни инсталации и екология Икономика История на икономиката Основи на икономиката Икономика на предприятията Икономическа история Икономическа теория Икономически анализ Развитие на икономиката на ЕС Спешни ситуации ВКонтакте Однокласници Моят свят Facebook LiveJournal Instagram
border=0

Пример 7.5

Разгледайте функцията f (x, y) = x - y, която може да бъде получена чрез оператора за минимизиране:

Изчислете, например, f (7,2,), т.е. стойността на функцията с y = 2 и x = 7. Поставете y = 2 и x ще получат последователни стойности:

Така се намира стойността на функцията f (7,2) = 5.

Въвеждаме дефиницията:

Частичната функция f (x 1 , ..., x n ) се нарича частично рекурсивна, ако може да бъде получена от краен брой операции на суперпозиция, примитивна рекурсия и минимизация, базирани само на най-простите функции S 1 , 0 n и I m n .

Класът на частично рекурсивните функции е по-широк от класа на примитивните рекурсивни функции, тъй като всички примитивни рекурсивни функции са дефинирани навсякъде, а сред частично рекурсивните функции има функции, които не са дефинирани навсякъде, а също така не са дефинирани никъде.

Концепцията за частично рекурсивна функция е една от основните концепции на теорията на алгоритмите. Значението му е както следва. От една страна, всяка стандартно дефинирана частично рекурсивна функция се изчислява посредством определена процедура от механичен характер, съответстваща на интуитивно понятие за алгоритми. От друга страна, без значение какви са класовете на точно очертани алгоритми, във всички случаи неизменно е, че числените функции, които са изчислими с тях, са частично рекурсивни. Следователно, научната хипотеза, формулирана като теза на Църквата, е общопризната :

Вижте също:

Пример 2.7

Пример А.3

Рекурсивни функции

заключение

Пример 4.8

Връщане към съдържанието: Теоретични основи на компютърните науки

2019 @ ailback.ru