– Päätösongelman P sanotaan olevan puoliratkettavissa (eli sillä on puolialgoritmi), jos kaikkien P:n kyllä-instanssien kieli L on r.e. – (DFA:n vastaavuusongelma) Hyväksyvätkö ne saman kielen, kun otetaan huomioon kaksi DFA:ta? Todiste: Muista Cantorin argumentti ensimmäisestä luennosta.
Kun ongelman sanotaan olevan puoliratkettavissa?
Puoliratkettavia ongelmia ovat jotka Turingin kone pysähtyy hyväksymäänsä syötteeseen, mutta se voi joko pysähtyä tai tehdä silmukan ikuisesti syötteelle, jonka Turingin kone hylkää. Tällaisia ongelmia kutsutaan Turingin tunnistettavissa oleviksi ongelmiksi.
Mikä on osittain ratkaistava ongelma?
Määritelmä: Yksi johon liittyvä kieli on rekursiivisesti numeroitava kieli. Vastaavasti on olemassa algoritmi, joka pysäyttää ja tulostaa 1:n jokaiselle esiintymälle, jonka vastaus on "kyllä", mutta tapauksille, joiden vastaus on "ei", sallitaan joko olla pysäyttämättä tai keskeyttää ja tulostaa 0.
Onko ongelman pysäyttäminen osittain ratkaistavissa?
Alan Turing osoitti vuonna 1936, että Turingin koneella toimivaa yleistä algoritmia, joka ratkaisee pysäytysongelman kaikille mahdollisille ohjelmasyöttöpareille, ei välttämättä ole olemassa. Tästä syystä pysäytysongelma on ratkaisematon Turingin koneille.
Miksi pysähdysongelma on puoliksi ratkaistava?
Kielen sanotaan olevan puoliratkettava, jos on olemassa Turingin kone, joka pysähtyy, jos sana kuuluu kieleen (KYLLÄ tapaukset) ja voi hylätä tai mennä äärettömään silmukka, jos sana ei kuulu kieleen (EI tapausta).
