Noun
semi-algorithm (plural semi-algorithms) A step-by-step procedure, like an algorithm, but which is not guaranteed to halt on all inputs.