Keelt nimetatakse otsustavaks või rekursiivseks, kui on olemas Turingi masin, mis võtab vastu ja peatub iga sisendstringi w. Iga otsustatav keel on Turingi poolt vastuvõetav. Otsustusülesanne P on otsustatav, kui P kõigi jah-juhtumite keel L on otsustatav.
Mida sa otsustamisvõime all mõtled?
: saab konkreetselt otsustada: saab otsustada, kas loogilise süsteemi aksioomide järgi järgitakse või mitte. Kas loogika oli täielik…? Ja kas see oli otsustatav selles mõttes, et oli olemas meetod, mis näitas iga väite tõesust või valet? -
Mis vahe on otsustamisvõime ja otsustamatuse vahel?
A otsustusprobleem on otsustatav, kui selle jaoks on olemas otsustusalgoritm. Muidu on see otsustamatu. Et näidata, et otsustusprobleem on otsustatav, piisab, kui anda sellele algoritm.
Kuidas arvutate otsustavust?
Keel on otsustatav siis ja ainult siis, kui see ja selle täiend on äratuntavad. Tõestus. Kui keel on otsustatav, siis on selle täiend otsustatav (täienduse all oleva sulgemise teel).
Mis on otsustamisvõime probleem?
(definitsioon) Definitsioon: Otsustusülesanne, mida saab lahendada algoritmiga, mis peatub kõikidel sisenditel piiratud arvu sammudega Seotud keelt nimetatakse otsustatavaks keeleks. Tuntud ka kui täielikult lahendatav probleem, algoritmiliselt lahendatav, rekursiivselt lahendatav.
