TRS用ツール

Term Rewriting System の授業のプログラミングの課題の最後の宿題をメモ。微妙に覚えてないし。

• infix notationとprefix notationをごちゃ混ぜにした表記を可能にする。
• 複数ルールによるcritical pairsを求められるようにする。
• ボタンにルールを与える。

あとなんだっけ。