Search results- English - English
Keyword:
Knuth-Bendix completion algorithm
Proper noun
Japanese Meaning
（計算理論）項の集合に対する一群の方程式を、縮約性（コンフルエント性）を持つ項書き換え系へと変換するための、半決定的アルゴリズム
Knuth-Morris-Pratt algorithm
Proper noun
(computing
theory)
A
linear-time
algorithm
that
searches
for
occurrences
of
one
text
string
within
another,
employing
the
observation
that
when
a
mismatch
occurs,
the
search
string
itself
embodies
sufficient
information
to
determine
where
the
next
match
could
begin,
thus
reducing
the
number
of
possible
match
locations
that
must
be
checked.
Japanese Meaning
Knuth-Morris-Prattアルゴリズムは、文字列探索において、あるテキスト内から指定されたパターン文字列の出現箇所を効率的に検索する線形時間アルゴリズムです。 / このアルゴリズムは、不一致が生じた場合にパターン文字列自体の情報を利用して次の比較位置を決定することで、検査する候補箇所の数を削減し、効率的な文字列探索を実現します。
Related Words
algorithmicizes
Verb
form-of
indicative
present
singular
third-person
Japanese Meaning
「algorithmicizes」は、動詞「algorithmicize」の三人称単数現在形です。
algorithmicizing
Verb
form-of
participle
present
Japanese Meaning
「algorithmicize」の現在分詞形です。すなわち、動詞「アルゴリズム化する」の進行形、あるいは形容詞的用法として用いられ、「～している」という状態を表す形です。
algorithmicized
Verb
form-of
participle
past
Japanese Meaning
"algorithmicized" は "algorithmicize" の単純過去形および過去分詞形です。
algorithmicize
Related Words
（ present singular third-person ）
（ participle present ）
（ participle past ）
（ past ）
English - English
Words
Words（1182733）
Add Word
Sentence
Sentences
（1692699）
Add sentence
Others
Editor
（31）
Editing Guideline
Credit
