semi-algorithm

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

日本語の意味

ある入力の場合、停止するとは限らないアルゴリズムに似た、段階的な手順または処理の流れ

The researcher implemented a semi-algorithm to enumerate all valid proofs, knowing it might not terminate for some inputs.

研究者は、すべての入力で停止することが保証されないアルゴリズムに似た手順を実装し、すべての有効な証明を列挙した。

意味（1）

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

semi-algorithms

（ plural ）