最終更新日：2025/11/23
A semi-decidable language has a deterministic algorithm that halts with the result positive
when an element belongs to the set, and for elements not in the set the algorithm either does not halt or, if it does, halts with the result negative
.
正解を見る
A semi-decidable language has a deterministic algorithm that halts with the result positive
when an element belongs to the set, and for elements not in the set the algorithm either does not halt or, if it does, halts with the result negative
.
音声機能が動作しない場合はこちらをご確認ください
編集履歴（0）
元となった例文
半決定可能な言語とは、ある要素が集合に属する場合には決定的なアルゴリズムが「肯定」で停止し、属さない場合にはアルゴリズムが停止しないか、停止しても「否定」で終了する性質を持つものです。
