border=0

Foarbyld 7.5

Tink derom de funksje f (x, y) = x-y, dy't kin wurde krije mei de minimisearoperator:

Kalkje, bygelyks, f (7,2,), d. de wearde fan 'e funksje mei y = 2 en x = 7. jild y = 2, en x wurde folgjende wearden jûn:

Sa wurdt de wearde fan 'e funksje f (7.2) = 5 fûn.

Wy prate de definysje yn:

In partiale funksje f (x 1 , ..., x n ) wurdt diels rekursyf neamd as it kin krije troch in finite oantal operaasjes fan superposysje, primitive rekursion en minimisearring, basearre allinich op de ienfâldige funksjes S 1 , 0 n en I m n .

De klasse fan diels rekurvende funksjes is grutter as de klasse fan primitive rekurzjende funksjes, sûnt Alle primitive rekursive funksjes wurde oeral definiearre, en ûnder diels rekurseare funksjes binne funksjes dy't net oeral fêstlein binne, en ek net definieare oeral.

It begryp fan in diel rekrektive funksje is ien fan 'e haadbegripen fan' e teory fan algoritmen. De betsjutting is sa folget. Oan 'e iene kant is elke standert definieare partielrekursive funksje komputerber troch in bepaalde proseduere fan in meganyske aard, dy't in yntuïtyf begryp fan algoritmen is. Oan 'e oare kant, lykwols, hokker klassen fan krekt delineare algoritme boud waarden, yn alle gefallen wie it unykber dat de numerike funksjes dy't mei har betsjuttber wienen waarden diels rekursyf. Dêrom is de wittenskiplike hypoteze formulearre as de tsjerke fan de tsjerke wurdt algemien akseptearre :

Sjoch ek:

Fermelding

Foarbyld 4.1

Untwerpmodellen

Ynformaasje en alfabet

Probleemintwurding

Gean werom nei Tafel Ynhâld: Teoretyske Stiftingen fan Computer Science

2019 @ bibinar.info