semi-algorithm

Noun

 * 1) A step-by-step procedure, like an algorithm, but which is not guaranteed to halt on all inputs.