Logo sl.boatexistence.com

Kadar rečemo, da je problem p napol odločljiv?

Kazalo:

Kadar rečemo, da je problem p napol odločljiv?
Kadar rečemo, da je problem p napol odločljiv?

Video: Kadar rečemo, da je problem p napol odločljiv?

Video: Kadar rečemo, da je problem p napol odločljiv?
Video: ЭТО ЖЕ CRYSIS 1 2024, Maj
Anonim

– Za odločevalni problem P rečemo, da je polodločljiv (tj. ima pol-algoritem), če je jezik L vseh primerov da za P r.e. – (Ekvivalentni problem za DFA) Ali glede na dva DFA sprejemata isti jezik? Dokaz: Spomnite se Cantorjevega argumenta iz prvega predavanja.

Ko se za problem reče, da je delno odločljiv?

Poluodločljive težave so tiste za , ki jih Turingov stroj ustavi na vhodu, ki ga sprejme, vendar se lahko ustavi ali za vedno zanke na vhodu, ki ga Turingov stroj zavrne. Takšne težave se imenujejo Turingovi prepoznavni problemi.

Kaj je delno rešljiv problem?

Definicija: Ena, čigar povezani jezik je rekurzivno naštevan jezik. Enakovredno obstaja algoritem, ki se ustavi in izpiše 1 za vsak primer z odgovorom "da", vendar je za primere z odgovorom "ne" dovoljeno, da se ne ustavi ali pa se ustavi in izpiše 0.

Ali je težava pri zaustavitvi delno odločljiva?

Alan Turing je leta 1936 dokazal, da splošni algoritem, ki se izvaja na Turingovem stroju, ki rešuje problem ustavljanja za vse možne pare program-vhod, nujno ne more obstajati. Zato je problem ustavljanja nerešljiv za Turingove stroje.

Zakaj je problem ustavljanja napol rešljiv?

Jezik je polodločljiv, če obstaja Turingov stroj, ki se ustavi, če beseda pripada jeziku (primeri DA) in lahko zavrne ali gre v neskončnost zanka, če beseda ne pripada jeziku (BREZ velikih in malih črk).

Priporočena: