Logo tl.boatexistence.com

Kapag sinabing semi decidable ang isang problema?

Talaan ng mga Nilalaman:

Kapag sinabing semi decidable ang isang problema?
Kapag sinabing semi decidable ang isang problema?
Anonim

– Ang isang problema sa desisyon na P ay sinasabing semi-decidable (i.e., may semi-algorithm) kung ang wikang L ng lahat ng yes instance sa P ay r.e. – (Equivalence problem for DFA) Dahil sa dalawang DFA, tinatanggap ba nila ang parehong wika? Patunay: Alalahanin ang argumento ni Cantor mula sa Unang Lektura.

Kapag sinabing semi-decidable ang isang problema?

Semi-Decidable na mga problema ay ang mga para sa kung saan ang Turing machine ay huminto sa input na tinanggap nito ngunit maaari itong huminto o umikot nang tuluyan sa input na tinanggihan ng Turing Machine. Ang mga ganitong problema ay tinatawag na Turing Recognizable na mga problema.

Ano ang bahagyang mapagpasyang problema?

Definition: Isang na ang nauugnay na wika ay isang recursively enumerable na wika. Katulad nito, mayroong isang algorithm na humihinto at naglalabas ng 1 para sa bawat pagkakataon na mayroong "oo" na sagot, ngunit para sa mga pagkakataon na ang pagkakaroon ng "hindi" na sagot ay pinapayagan na hindi huminto o huminto at maglabas ng 0.

Ang problema ba sa paghinto ay bahagyang mapagpasyahan?

Alan Turing ay pinatunayan noong 1936 na ang isang pangkalahatang algorithm na tumatakbo sa isang Turing machine na lumulutas sa paghinto ng problema para sa lahat ng posibleng mga pares ng program-input ay talagang hindi maaaring umiral. Samakatuwid, ang problema sa paghinto ay hindi mapagpasyahan para sa mga Turing machine.

Bakit semi-decidable ang problema sa paghinto?

Ang isang wika ay sinasabing Semi-decidable kung mayroong Turing machine na humihinto kung ang isang salita ay kabilang sa wika (YES case) at maaaring tanggihan o mapunta sa walang katapusan loop kung ang salita ay hindi kabilang sa wika (NO case).

Inirerekumendang: