Logo lt.boatexistence.com

Kai sakoma, kad problema p yra pusiau išsprendžiama?

Turinys:

Kai sakoma, kad problema p yra pusiau išsprendžiama?
Kai sakoma, kad problema p yra pusiau išsprendžiama?

Video: Kai sakoma, kad problema p yra pusiau išsprendžiama?

Video: Kai sakoma, kad problema p yra pusiau išsprendžiama?
Video: Habekas NAIKINA tai, ką sukūrė kartos! Dėmesio, VOKIETIJA DELNĖJE. Vokietijos naujienos. 2024, Gegužė
Anonim

– Teigiama, kad sprendimo problema P yra pusiau išsprendžiama (ty turi pusiau algoritmą), jei visų taip atvejų į P kalba L yra r.e. – (DFA lygiavertiškumo problema) Ar, atsižvelgiant į du DFA, jie priima tą pačią kalbą? Įrodymas: prisiminkite Kantoro argumentą iš pirmosios paskaitos.

Kai sakoma, kad problema yra pusiau išsprendžiama?

Pusiau išsprendžiamos problemos yra kurios Tiuringo mašina sustabdo jos priimtą įvestį, bet gali sustabdyti arba visam laikui pereiti į įvestį, kurią Tiuringo mašina atmeta. Tokios problemos vadinamos Turingo atpažįstamomis problemomis.

Kas yra iš dalies išsprendžiama problema?

Apibrėžimas: Viena kurios susijusi kalba yra rekursyviai skaičiuojama kalba. Lygiai taip pat egzistuoja algoritmas, kuris sustabdo ir išveda 1 kiekvienam atvejui, turinčiam atsakymą „taip“, tačiau atvejams, kurių atsakymas yra „ne“, leidžiama arba nesustabdyti, arba sustabdyti ir išvesti 0.

Ar sustabdyti problemą galima iš dalies išspręsti?

Alanas Turingas 1936 m. įrodė, kad bendras algoritmas, veikiantis Tiuringo mašinoje, išsprendžiantis stabdymo problemą visoms galimoms programos ir įvesties poroms, nebūtinai gali egzistuoti. Taigi stabdymo problema Tiuringo mašinoms yra neišspręsta.

Kodėl sustabdymo problemą galima iš dalies išspręsti?

Sakoma, kad kalba yra pusiau sprendžiama, jei egzistuoja Tiuringo mašina, kuri sustabdo, jei žodis priklauso kalbai (TAIP atvejai) ir gali atmesti arba pereiti į begalybę kilpa, jei žodis nepriklauso kalbai (NO didžiosios ir mažosios raidės).

Rekomenduojamas: