Logo hu.boatexistence.com

Ha egy p problémáról azt mondják, hogy félig eldönthető?

Tartalomjegyzék:

Ha egy p problémáról azt mondják, hogy félig eldönthető?
Ha egy p problémáról azt mondják, hogy félig eldönthető?

Videó: Ha egy p problémáról azt mondják, hogy félig eldönthető?

Videó: Ha egy p problémáról azt mondják, hogy félig eldönthető?
Videó: 11 ОСОБЕННОСТЕЙ ТУРЕЦКИХ МУЖЧИН // Секреты счастливых отношений с мужем - турком / Турецкие мужчины 2024, Lehet
Anonim

– Egy P döntési problémát félig eldönthetőnek mondunk (vagyis van egy félig algoritmusa), ha a P-re vonatkozó összes igen példány L nyelve r.e. – (Ekvivalenciaprobléma a DFA-hoz) Ha két DFA-t kapunk, akkor ugyanazt a nyelvet fogadják el? Bizonyítás: Idézzük fel Cantor érvelését az első előadásból.

Ha egy problémát félig eldönthetőnek mondanak?

Félig eldönthető problémák azok, amelyek melyeket a Turing-gép megáll az általa elfogadott bemeneten, de megállhat vagy örökre hurkolhat azon a bemeneten, amelyet a Turing-gép elutasít. Az ilyen problémákat Turing felismerhető problémáknak nevezik.

Mi az a részben eldönthető probléma?

Definíció: Egy amelyikhez tartozó nyelv egy rekurzívan felsorolható nyelv. Ezzel egyenértékűen létezik egy algoritmus, amely leállítja és 1-et ad ki minden "igen" válaszú példányra, de a "nem" válaszú példányok esetén vagy nem áll meg, vagy leállíthatja és 0-t ad ki.

A probléma megállítása részben eldönthető?

Alan Turing 1936-ban bebizonyította, hogy egy Turing-gépen futó általános algoritmus, amely az összes lehetséges program-bemenet pár esetében megoldja a leállítási problémát, szükségszerűen nem létezhet. Ezért a leállítási probléma eldönthetetlen a Turing-gépeknél.

Miért félig eldönthető a megállási probléma?

Egy nyelvről azt mondják, hogy félig eldönthető, ha létezik egy Turing-gép, amely leáll, ha egy szó a nyelvhez tartozik (IGEN esetek), és elutasíthatja vagy a végtelenbe léphet ciklus, ha a szó nem tartozik a nyelvhez (NINCS kisbetű).

Ajánlott: