Partially decidable problem

From Free net encyclopedia