Lexikon der Mathematik: Entscheidbarkeit
Eigenschaft einer Menge A ⊆ ℕ0, wenn deren charakteristische Funktion total berechenbar ist.
Intuitiv heißt dies, daß das der Menge A zugeordnete Entscheidungsproblem algorithmisch in endlich vielen Schritten (z. B. mit Hilfe einer Turing- Maschine oder Registermaschine) gelöst werden kann.
Copyright Springer Verlag GmbH Deutschland 2017
Wenn Sie inhaltliche Anmerkungen zu diesem Artikel haben, können Sie die Redaktion per E-Mail informieren. Wir lesen Ihre Zuschrift, bitten jedoch um Verständnis, dass wir nicht jede beantworten können.