Və avtomatlar nəZƏRİYYƏSİ (Məşğələ dərsləri üşün vəsait)

Sərbəst iş üçün tapşırıqlar
Aşağıdakı funksiyaların primitiv rekursluğunu isbat etməli.

1. 
   Kəsilmiş çıxma
   

2. 
   İşarə funksiyası
   

3. 
   Verilmiş iki ədədin (x, y) = min(x, y) minimal qiymətini tapmalı.
   

4. 
   Verilmiş iki ədədin f(x, y) = max(x, y) maksimal qiymətini tapmalı.
   

5. 
   Kəsilmiş çıxma
   

6. 
   y-in x-a bölünməsinin qalığı funksiyası r(x, y)
   

7. 
   y-in x-a bölünməsinin qisməti funksiyası q(x, y)
   

8. 
   İsbat etməli ki, “x n-ə bölünür” Pdn(x) predikatı istənilən n üçün primitiv-rekursivdir.
   

9. 
   İsbat etməli ki, “x n və m-ə bölünür” Pdn,m(x)predikatı istənilən n və m üçün primitiv-rekursivdir.
   

10. 
    x1 > x2 münasibətinin primitiv-rekursiv olduğunu isbat etməli
    
11. 
    f(x) və g(x) funksiyaları primitiv-rekursivdirsə, f(x) = g(x) predikatının primitiv-rekursiv olduğunu isbat etməli.
    

12. 
    Sözlər ardıcıllığı verilmişdir. Onlardan verilmiş konfiqurasiyaya uyğun krossvord qurmalı ( sözlərin sayı krosvorda lazım olan sözlərin sayından çox ola bilər).