from 計算モデル

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

まったくいみがわからない

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

スタート地点は？

表現ってなに？

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

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