検索結果- 英語 - 多言語
検索内容:
Knuth-Morris-Pratt algorithm
(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.
Knuth-Bendix completion algorithm
(computing theory) A semidecision algorithm for transforming a set of equations (over terms) into a confluent term rewriting system.
algorithmicization
algorithmicizes
Third-person singular simple present indicative form of algorithmicize
algorithmicize
(transitive) To make algorithmic.
( present singular third-person )
( participle present )
( participle past )
( past )
algorithmicized
simple past tense and past participle of algorithmicize
algorithmicizing
present participle of algorithmicize