項書き換へ
term rewriting
項書き換え - Wikipedia
Term Rewriting System -- from Wolfram MathWorld
Reduction System -- from Wolfram MathWorld
文字列書き換へ (string rewriting)
String Rewriting System -- from Wolfram MathWorld
Substitution System -- from Wolfram MathWorld
Markov algorithm
マルコフアルゴリズム - Wikipedia
Refal
Refal - Wikipedia
Category:Term-rewriting programming languages - Wikipedia
Clean
Clean.icon
Pure
Pure Programming Language
Pure (programming language) - Wikipedia
successor to the equational language Q
Wolfram Language
Wolfram言語：組込みの計算知識を使ったプログラミング
Wolfram (プログラミング言語) - Wikipedia
Mathematica
Mathematica - Wikipedia