From Complexity Zoo
Decidable .. or Semi-decidable?
We say that any decision problem which admits such a machine is decidable.
This confused me mightily. As stated, the TM need only halt on ACCEPT. Thus the decision problem should be properly called semi-decidable? This should be clarified.