Da bismo pokazali da se jezik može odlučiti, potrebno nam je da kreiramo Turingovu mašinu koja će se zaustaviti na bilo kom ulaznom nizu iz abecede jezika. Pošto je M dfa, već imamo Turingovu mašinu i samo treba da pokažemo da se dfa zaustavlja na svakom unosu.
Kako izračunati Odlučivost?
Jezik je odlučiv ako i samo ako su on i njegov komplementar prepoznatljivi. Dokaz. Ako je jezik odlučujući, onda je njegov komplement odlučujući (zatvaranjem pod komplementacijom).
Kako dokazujete Turingovu odluku?
Dokažite da je jezik koji prepoznaje jednak datom jeziku i da se algoritam zaustavlja na svim ulazima. Da biste dokazali da je dati jezik prepoznatljiv po Turingu: Konstruirajte algoritam koji prihvata tačno one nizove koji su u jezikuMora ili odbiti ili se upetljati na bilo koji niz koji nije na jeziku.
Kako znate da li je jezik prepoznatljiv?
Jezik L je prepoznatljiv ako i samo ako postoji verifikator za L, gdje je verifikator Turingova mašina koja se zaustavlja na svim ulazima i za sve w∈Σ∗, w∈L↔∃c∈Σ∗. V prihvata ⟨w, c⟩.
Kako pokazujete da je problem neodlučiv?
Problem totaliteta je neodlučiv
problem zaustavljanja može se koristiti da pokaže da su drugi problemi neodlučivi. Problem totaliteta: Kaže se da je funkcija (ili program) F totalna ako je F(x) definiran za sva x (ili slično, ako se F(x) zaustavlja za sve x). Određivanje da li je funkcija F totalna ili ne je neodlučivo.
