Om te wys dat 'n taal bepaalbaar is, moet ons 'n Turing-masjien skep wat sal stop op enige invoerstring van die taal se alfabet. Aangesien M 'n dfa is, het ons reeds die Turing-masjien en moet net wys dat die dfa op elke invoer stop.
Hoe bereken jy Besluitbaarheid?
'n Taal is beslisbaar as en slegs as dit en sy komplement herkenbaar is. Bewys. As 'n taal bepaalbaar is, dan is sy komplement beslisbaar (deur sluiting onder komplementering).
Hoe bewys jy Turing-beslisbaarheid?
Bewys dat die taal wat dit herken gelyk is aan die gegewe taal en dat die algoritme op alle invoere stop. Om te bewys dat 'n gegewe taal Turing-herkenbaar is: Konstrueer 'n algoritme wat presies daardie stringe aanvaar wat in die taal isDit moet enige string wat nie in die taal is nie, óf verwerp óf lus maak.
Hoe weet jy of 'n taal herkenbaar is?
'n Taal L is herkenbaar as en slegs as daar 'n verifieerder vir L bestaan, waar 'n verifieerder 'n Turing-masjien is wat stop op alle insette en vir alle w∈Σ∗, w∈L↔∃c∈Σ∗. V aanvaar ⟨w, c⟩.
Hoe wys jy dat 'n probleem onbeslisbaar is?
Die totaliteitsprobleem is onbeslisbaar
Die stopprobleem kan gebruik word om te wys dat ander probleme onbeslisbaar is. Totaliteitsprobleem: 'n Funksie (of program) F is na bewering totaal as F(x) vir alle x gedefinieer is (of soortgelyk, as F(x) vir alle x stop). Om te bepaal of 'n funksie F totaal is of nie, is onbeslisbaar.
