Et sprog kaldes Decidable eller Rekursive, hvis der er en Turing-maskine, som accepterer og stopper på hver inputstreng w. Ethvert sprog, der kan besluttes, er Turing-acceptabelt. Et beslutningsproblem P kan afgøres, hvis sproget L i alle ja-forekomster til P kan afgøres.
Hvad mener du med beslutsomhed?
: egnet til at blive bestemt specifikt: i stand til at blive besluttet som følge af eller ikke følge af et logisk systems aksiomer Var logikken komplet …? Og var det afgøreligt, i den forstand, at der var en metode, der påviste sandheden eller falskheden af ethvert udsagn? -
Hvad er forskellen mellem afgørelighed og uafgørelighed?
A beslutningsproblem kan afgøres, hvis der findes en beslutningsalgoritme til det. Ellers er det uafgørligt. For at vise, at et beslutningsproblem kan afgøres, er det tilstrækkeligt at give en algoritme til det.
Hvordan beregner du bestemmelighed?
Et sprog kan afgøres, hvis og kun hvis det og dets komplement er genkendeligt. Bevis. Hvis et sprog kan bestemmes, kan dets komplement afgøres (ved at lukke under komplementering).
Hvad er afgørelighedsproblem?
(definition) Definition: Et beslutningsproblem, der kan løses ved en algoritme, der stopper på alle input i et endeligt antal trin Det tilknyttede sprog kaldes et afgøreligt sprog. Også kendt som fuldstændigt afgøreligt problem, algoritmisk løseligt, rekursivt løseligt.
