decision problem

Entscheidbar ist eine Eigenschaft dann, wenn es ein Entscheidungsverfahren gibt, für jedes Objekt festzustellen, ob es diese Eigenschaft hat oder nicht. Als Entscheidungsproblem bezeichnet man die Frage, ob und wie für eine gegebene Eigenschaft ein Entscheidungsverfahren formuliert werden kann.
Mehr unter Wikipedia.org...