項書き換へ
term rewriting
項書き換え - Wikipedia
Term Rewriting System -- from Wolfram MathWorld
Reduction System -- from Wolfram MathWorld
文字列書き換へ (string rewriting)
文字列書き換え系 - Wikipedia
String Rewriting System -- from Wolfram MathWorld
Substitution System -- from Wolfram MathWorld
Markov algorithm
マルコフアルゴリズム - Wikipedia
Refal
Refal - Wikipedia
Category:Term-rewriting programming languages - Wikipedia
CleanClean.icon
Pure
Pure Programming Language
Pure (programming language) - Wikipedia
successor to the equational language Q
Wolfram 言語Wolfram 言語.icon