Definicje „entscheidbar“ w Słownik ortografii niemieckiej

ent·sche̱i̱d·bar PRZYM.

Przykłady z Internetu (niezredagowane i niesprawdzone przez PONS)

niemiecki

Dieses Problem ist abermals für kontextfreie formale Grammatiken entscheidbar und für kontextsensitive formale Grammatiken unentscheidbar.

de.wikipedia.org

Das Problem, ob zwei kontextfreie Grammatiken und die gleiche Sprache generieren (also ob), ist nicht entscheidbar.

de.wikipedia.org

Das Bildproblem ist für kontextfreie formale Grammatiken entscheidbar und für kontextsensitive formale Grammatiken unentscheidbar.

de.wikipedia.org

Da die Ableitungen niemals kürzer werden, ist auch (Wortproblem), mit L kontextsensitive Sprache, entscheidbar.

de.wikipedia.org

Auch das Komplement des (semi-entscheidbaren) Halteproblems ist nicht semi-entscheidbar, während das Komplement der Diagonalsprache semi-entscheidbar ist.

de.wikipedia.org

Zu zwei entscheidbaren Mengen sind deren Schnittmenge und deren Vereinigungsmenge entscheidbar.

de.wikipedia.org

Wenn das Komplement des Halteproblems semi-entscheidbar wäre, dann wäre die Diagonalsprache ebenfalls semi-entscheidbar.

de.wikipedia.org

Ist, wäre polynomiell entscheidbar, obwohl es sich nur auf endlich vielen Wörtern von unterscheidet.

de.wikipedia.org

Mangels hinreichender Belege ist diese Frage derzeit leider nicht entscheidbar.

de.wikipedia.org

Das Problem, ob eine (beliebige) kontextfreie Grammatik mehrdeutig oder nicht-mehrdeutig ist, ist nicht entscheidbar.

de.wikipedia.org