MühaziRƏ 1 Verilənlər. Alqoritmlər və verilənlərin strukturu



Yüklə 179,83 Kb.
səhifə36/38
tarix02.01.2022
ölçüsü179,83 Kb.
#38863
1   ...   30   31   32   33   34   35   36   37   38
VER STR VƏ ALQ müh yeni

Hesablanan funksiyalar

Tyurinq maşını f(x1,x2,...,xn) funksiyasını aşağıdakı şərtlər daxilində hesablayır:

1)Funksiyanın təyinetmə oblastına daxil olan istənilən x1,x2,...,xn üçün Tyurinq maşını başlanğıc konfiqurasiyadan (lentdə arqumenti təsvir edilir), son konfiqurasiyaya keçir(lentdə nəticə təsvir olunur).

2)Funksiyanın təyinetmə oblastına daxil olmayan istənilən x1,x2,...,xn üçün Tyurinq maşını başlanğıc konfiqurasiyadan sonsuz olaraq işləyir.

Əgər Tyurinq maşınının başlanğıc və son konfiqurasiyası standartdırsa, onda Tyurinq maşını f funksiyasını düzgün hesablayır.

Funksiya o zaman Tyurinq maşınına görə hesablanan sayılır ki,onu hesablayan Tyurinq maşını olsun.

Tyurinq maşını funksiyanı bərpa etməklə və ya bərpa etməməklə hesablaya bilər.Bərpa edilməklə funksiyanın hesablanması zamanı Tyurinq maşını ilkin verilənləri yadda saxlamaqla işləyir.
p0 1X1* . . * 1Xn⇒* p z 1f(X1, X2, . . . , Xn) *1X1* . . * 1Xn.
Verilmiş tərifdən istifadə etməklə lentdə əvvəl nəticə,sonar isə ilkin verilənləri almaq olar.Ayrı-ayrı hallarda isə əksinə eləmək daha uyğun olar
p0 1X1* . . * 1Xn⇒*1X1* . . * 1Xn * p z 1f(X1, X2, . . . , Xn)
Bərpa edilməməklə funksiyanın hesablanması Tyurinq maşınının işində ilkin verilənlərin yadda saxlanılmamasını göstərir

p0 1X1* . . * 1Xn⇒* p z 1f(X1, X2, . . . , Xn)




Yüklə 179,83 Kb.

Dostları ilə paylaş:
1   ...   30   31   32   33   34   35   36   37   38




Verilənlər bazası müəlliflik hüququ ilə müdafiə olunur ©azkurs.org 2024
rəhbərliyinə müraciət

gir | qeydiyyatdan keç
    Ana səhifə


yükləyin