2.2.Minimallaşdırma operatorundan istifadə etməklə məsələ həlli
Məsələ Əgər f(x, y) = μz( 2⋅x + z = y+1) olarsa,onda P(x, y, z) = 2⋅x + z = y + 1 olar.
Həlli P predikatının primitiv rekursiv olduğunu göstərək.Onun xarakterik funksiyası funksiyasını aşağıdakı kimi göstərmək olar:
Sg(Sg((2 ⋅ x + z) ÷( y + 1)) + Sg((y +1) ÷ (2 ⋅ x + z)).
(1,5) nöqtəsində funksiyanın qiymətini tapaq.
Əgər
z = 0: P(1, 5, 0) = 2 ⋅ 1 + 0 = 5 + 1 - "yalan",
z = 1: P(1, 5, 1) = 2 ⋅ 1 + 1 = 5 + 1 - " yalan ",
z = 2: P(1, 5, 1) = 2 ⋅ 1 + 2 = 5 + 1 - " yalan ",
z = 3: P(1, 5, 1) = 2 ⋅ 1 + 3 = 5 + 1 - " yalan ",
z = 4: P(1, 5, 4) = 2 ⋅ 1 + 4 = 5 + 1 - "doğru".
Beləliklə, Z dəyişənin minimum qiyməti funksiyanın (1.5) nöqtəsində predikatı "doğru"-ya çevirir.
Dostları ilə paylaş: |
