semi-algorithm noun1 •A step-by-step procedure, like an algorithm, but which is not guaranteed to halt on all inputs. formssemi-algorithms
