「文字列書き換え系」を解説文に含む見出し語の検索結果(11~15/16件中)
項書き換え(こうかきかえ、英: term rewriting)とは、数学・計算機科学・論理学において、式(数式、論理式)の項を別の項に置換する手法を総称する用語である。項書き換え系(英:...
項書き換え(こうかきかえ、英: term rewriting)とは、数学・計算機科学・論理学において、式(数式、論理式)の項を別の項に置換する手法を総称する用語である。項書き換え系(英:...
計算理論(けいさんりろん、Theory Of Computation)または計算論は、理論計算機科学と数学の一部で、計算模型やアルゴリズムを理論的にあつかう学問である。計算複雑性理論、計算可能性理論を...
計算理論(けいさんりろん、Theory Of Computation)または計算論は、理論計算機科学と数学の一部で、計算模型やアルゴリズムを理論的にあつかう学問である。計算複雑性理論、計算可能性理論を...
計算理論(けいさんりろん、Theory Of Computation)または計算論は、理論計算機科学と数学の一部で、計算模型やアルゴリズムを理論的にあつかう学問である。計算複雑性理論、計算可能性理論を...
< 前の結果 | 次の結果 >