Last Updated：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
.
See correct answer
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
.
音声機能が動作しない場合はこちらをご確認ください
Edit Histories（0）
Source Sentence
半決定可能な言語とは、ある要素が集合に属する場合には決定的なアルゴリズムが「肯定」で停止し、属さない場合にはアルゴリズムが停止しないか、停止しても「否定」で終了する性質を持つものです。
