2011-04-11から1日間の記事一覧
Term Rewriting System -- from Wolfram MathWorld Term rewriting systems are reduction systems in which rewrite rules apply to terms. Terms are built up from variables and constants using function symbols (or operations). Rules of term rewri…