最終更新日：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
.
音声機能が動作しない場合はこちらをご確認ください
関連する単語
semi-decidable
形容詞
比較不可
(computing
theory)
Of
a
set,
such
that
there
is
a
deterministic
algorithm
such
that
(a)
if
an
element
is
a
member
of
the
set,
the
algorithm
halts
with
the
result
"positive",
and
(b)
if
an
element
is
not
a
member
of
the
set,
(i)
the
algorithm
does
not
halt,
or
(ii)
if
it
does,
then
with
the
result
"negative".
日本語の意味
(計算理論において) ある集合に対して、要素がその集合に属する場合、決定的なアルゴリズムが停止して肯定的な結果（positive）を返す一方、要素が属さない場合はアルゴリズムが停止しないか、停止した場合でも否定的な結果（negative）を返す性質を持つことを意味する。
英語 - 英語
項目の編集設定
- 項目の編集権限を持つユーザー - すべてのユーザー
- 項目の新規作成を審査する
- 項目の編集を審査する
- 項目の削除を審査する
- 重複の恐れのある項目名の追加を審査する
- 項目名の変更を審査する
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
例文の編集設定
- 例文の編集権限を持つユーザー - すべてのユーザー
- 例文の削除を審査する
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
問題の編集設定
- 問題の編集権限を持つユーザー - すべてのユーザー
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
