Search results- English - English
Keyword:
semi-decidable
Adjective
not-comparable
(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".
Japanese Meaning
(計算理論において) ある集合に対して、要素がその集合に属する場合、決定的なアルゴリズムが停止して肯定的な結果（positive）を返す一方、要素が属さない場合はアルゴリズムが停止しないか、停止した場合でも否定的な結果（negative）を返す性質を持つことを意味する。
semi-decidability
Noun
uncountable
Japanese Meaning
数学において、半決定可能である性質、すなわちアルゴリズムで部分的に決定できる（正確には全停止しない可能性がある）性質を指す。
English - English
Words
Words（1182733）
Add Word
Sentence
Sentences
（1571531）
Add sentence
Others
Editor
（31）
Editing Guideline
Credit
