非全域的算法
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/07/06 04:04 UTC 版)
非全域的（あるいは局所的）な算法も珍しくはない。例えば、あらゆるサイズの行列の全体を M で表すとき、M の二元 A, B にその和 A + B を対応させる写像は M における 2 項算法であるが、A, B が同サイズのときにしか A + B が定義されないから、非全域的算法である。A, B にその積 AB を対応させる写像も M における 2 項算法であるが、A の列の個数と B の行の個数が等しいときにしか AB が定義されないから、やはり非全域的算法である。 形式言語における算法は、非全域的のものが一般的である。例えば、述語言語（論理式と項とから成る）における論理記号は、論理式に対してのみ適用可能な 2 項または 1 項の非全域的算法を表すと解される。 項数が 2 より多い非全域的算法も珍しくはない。例えば、述語言語における n 変数関数記号や n 変数述語記号は、項に対してのみ適用可能な n 項算法を表すと解される。
※この「非全域的算法」の解説は、「算法」の解説の一部です。
「非全域的算法」を含む「算法」の記事については、「算法」の概要を参照ください。
ウィキペディア小見出し辞書の「非全域的算法」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
- 非全域的算法のページへのリンク
