Logo sw.boatexistence.com

Wakati tatizo p linasemekana kuwa linaweza kuamuliwa nusu?

Orodha ya maudhui:

Wakati tatizo p linasemekana kuwa linaweza kuamuliwa nusu?
Wakati tatizo p linasemekana kuwa linaweza kuamuliwa nusu?

Video: Wakati tatizo p linasemekana kuwa linaweza kuamuliwa nusu?

Video: Wakati tatizo p linasemekana kuwa linaweza kuamuliwa nusu?
Video: Leslie Kean on David Grusch (UFO Whistleblower): Non-Human Intelligence, Recovered UFOs, UAP, & more 2024, Mei
Anonim

– Tatizo la uamuzi P linasemekana kuwa linaweza kuamuliwa nusu (yaani, kuwa na algoriti) ikiwa lugha L ya matukio yote ya ndiyo hadi P ni r.e. – (Tatizo la usawa kwa DFA) Kwa kuzingatia DFA mbili, je, zinakubali lugha moja? Uthibitisho: Kumbuka hoja ya Cantor kutoka Mhadhara wa Kwanza.

Je, tatizo linaposemekana kuwa linaweza kutatuliwa?

Matatizo yanayoweza kuamuliwa Nusu ni yale ya ambayo Mashine ya Turing husitisha ingizo inayokubaliwa nayo lakini inaweza kusimamisha au kuweka kitanzi milele kwenye ingizo ambalo limekataliwa na Turing Machine. Matatizo kama haya yanaitwa Turing Matatizo Yanayotambulika.

Tatizo gani linaloweza kuamuliwa kwa sehemu?

Ufafanuzi: Moja lugha yake inayohusishwa ni lugha inayoweza kuhesabiwa kila mara. Sawa, kuna algoriti ambayo inasimamisha na kutoa 1 kwa kila kisa kuwa na jibu la "ndio", lakini kwa hali kuwa na jibu la "hapana" inaruhusiwa ama kutosimama au kusimamisha na kutoa 0.

Je, kusimamisha tatizo kunaweza kuamuliwa kwa sehemu?

Alan Turing alithibitisha mwaka wa 1936 kwamba kanuni ya jumla inayoendeshwa kwenye mashine ya Turing ambayo hutatua tatizo la kusitisha kwa jozi zote zinazowezekana za uingizaji wa programu haiwezi kuwepo. Kwa hivyo, tatizo la kusimamisha haliwezi kuamuliwa kwa mashine za Turing.

Kwa nini tatizo la kusitisha linaweza kuamuliwa nusu?

Lugha inasemekana kuwa inaweza kuamuliwa nusu ikiwa kuna mashine ya Turing ambayo inasimamisha kama neno ni la lugha hiyo (kesi NDIYO) na inaweza kukataa au kwenda katika neno lisilo na kikomo. kitanzi ikiwa neno si mali ya lugha (HAKUNA kesi).

Ilipendekeza: