Et näidata, et keel on otsustatav, peame looma Turingi masin, mis peatub keele tähestiku mis tahes sisendstringil. Kuna M on dfa, on meil juba Turingi masin ja peame lihts alt näitama, et dfa peatub igal sisendil.
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).
Kuidas tõestate Turingi otsustavust?
Tõesta, et keel, mille ta ära tunneb, on võrdne antud keelega ja et algoritm peatub kõikidel sisenditel. Tõestamaks, et antud keel on Turingi poolt äratuntav: Koostage algoritm, mis aktsepteerib täpselt neid stringe, mis on keelesSee peab kas tagasi lükkama või tsükli mis tahes stringile, mis ei ole selles keeles.
Kuidas sa tead, kas keel on äratuntav?
Keel L on äratuntav siis ja ainult siis, kui le on olemas kontrollija L jaoks, kus kontrollijaks on Turingi masin, mis peatub kõikidel sisenditel ja kõigi w∈Σ∗ jaoks., w∈L↔∃c∈Σ∗. V aktsepteerib ⟨w, c⟩.
Kuidas näidata, et probleem on lahendamatu?
Täielikkuse probleem on otsustamatu
peatamisprobleemi saab kasutada näitamaks, et teised probleemid on lahendamatud. Täielikkuse probleem: Funktsiooni (või programmi) F nimetatakse totaalseks, kui F(x) on defineeritud kõigi x-ide jaoks (või sarnaselt, kui F(x) peatub kõigi x-ide korral). Selle kindlaksmääramine, kas funktsioon F on summaarne või mitte, on otsustamatu.
