項書換えモデル - mrsekut-p

項書換えモデル

from 計算モデル

/mrsekut-book-4000103520/244 (6 書き換えモデル)

項書き換え

計算とは、表現の書換えだ！

まったくいみがわからないmrsekut.icon

関数モデルや論理モデルで得られた表現を書換えていくのか？

スタート地点は？

表現ってなに？

書換えを繰り返し、これ以上書換えができなくなれば、計算完了

抽象書換え系というのを使う？

完備化手続き

http://www.nue.ie.niigata-u.ac.jp/toyama/

項書き換えシステム入門- 完備化による定理自動証明 -

Exotic Programming Ideas: Part 2 (Term Rewriting)