コラッツ予想がとけたらいいな2

自分の考察を書いていきます。

Refalの練習

特に何をやったという訳ではないけど。
最近、項書き換え系を勉強している。

Refalはマルコフアルゴリズムという文字列書き換え系に基づいたプログラミング言語です。

インストール

https://github.com/bmstu-iu9/refal-5-lambda(新しいタブで開いてください)
のReleasesから。ロシア語わかんね。

サンプル

左辺でパターンマッチさせて、右辺でやりたい事を書く。
s.で任意の1文字にマッチする。
e.で0文字以上の文字列にマッチする。