Entscheidbarkeit

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Eigenschaft eines Entscheidungsproblems, dass es ein effektives (algorithmisches) Verfahren im gewählten Rechenmodell gibt, das immer terminiert und korrekt entscheidet, ob eine Eingabe zur Sprache gehört.