Bir dilin həll edilə bilən olduğunu göstərmək üçün dilin əlifbasından istənilən daxiletmə sətirində dayanacaq Turing maşını yaratmaq üçünlazımdır. M dfa olduğundan, bizdə artıq Turinq Maşın var və sadəcə göstərməliyik ki, dfa hər girişdə dayanır.
Qərar Verilmə qabiliyyətini necə hesablayırsınız?
Dil o halda həll edilə bilər ki, o və onun tamamlayıcısı tanınsın. Sübut. Əgər dil həll edilə biləndirsə, onun tamamlayıcısı həll edilə bilər (tamamlama altında bağlanmaqla).
Türinqin qərar vermə qabiliyyətini necə sübut edirsiniz?
Tanıdığı dilin verilmiş dilə bərabər olduğunu və alqoritmin bütün girişlərdə dayandığını sübut edin. Verilmiş dilin Turing tərəfindən tanındığını sübut etmək üçün: Dildə olan sətirləri tam olaraq qəbul edən alqoritm qurunO, dildə olmayan hər hansı sətirdə ya rədd edilməlidir, ya da dövrə vurmalıdır.
Bir dilin tanınıb-tanınmadığını necə bilirsiniz?
L dili o zaman tanınır ki, L üçün doğrulayıcı mövcud olsun, burada yoxlayıcı bütün girişlərdə və bütün w∈Σ∗ üçün dayanan Turing maşınıdır, w∈L↔∃c∈Σ∗. V ⟨w, c⟩ qəbul edir.
Bir problemin həlledilməz olduğunu necə göstərirsiniz?
Tamlıq Problemi Qərar Verilməzdir
dayandırma problemi digər problemlərin həll edilməz olduğunu göstərmək üçün istifadə edilə bilər. Ümumilik problemi: F(x) bütün x üçün müəyyən edilirsə (və ya oxşar şəkildə, əgər F(x) bütün x üçün dayanırsa) funksiya (və ya proqram) F cəmi deyilir. F funksiyasının cəmi olub-olmadığını müəyyən etmək qeyri-müəyyəndir.
