W hər giriş sətirini qəbul edən və dayandıran Türinq maşını varsa, dil Qərar Verilən və ya Rekursiv adlanır. Hər qərar verilə bilən dil Turing-Məqbuldur. P-yə bəli olan bütün nümunələrin L dili həll edilə bilərsə, qərar problemi P həll edilə bilər.
Qərar Verilmə qabiliyyəti dedikdə nəyi nəzərdə tutursunuz?
: xüsusi qərar verilə bilən: məntiqi sistemin aksiomlarına əməl edib-etməməklə bağlı qərar verilə bilər. Məntiq tamamlanmışdı … ? Və hər bir ifadənin doğru və ya yalan olduğunu nümayiş etdirən bir metodun olması mənasında qərar verilə bilərdimi? -
Qərar Verilmə qabiliyyəti ilə Qərarsızlıq arasındakı fərq nədir?
A qərar problemi onun üçün qərar alqoritmi varsa həll edilə bilər. Əks halda qərar verilməzdir. Qərar probleminin həll edilə bilən olduğunu göstərmək üçün onun alqoritmini vermək kifayətdir.
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ərsə, onun tamamlayıcısı həll edilə bilər (tamamlama altında bağlanmaqla).
Qərar vermə problemi nədir?
(tərif) Tərif: Son sayda addımda bütün girişlərdə dayanan bir alqoritmlə həll edilə bilən qərar problemi Əlaqədar dil həll edilə bilən dil adlanır. Həm də tamamilə həll edilə bilən problem kimi tanınır, alqoritmik olaraq həll edilə bilən, rekursiv həll edilə bilən.
