テキストボックスにUnlambda形式で入力して評価(eval)してください。
更新履歴
- 2017/6/14
- 公開
- 2017/6/15
- s をネストした時の挙動および論理的誤りを大幅に改善。関数適用回数を検証するように変更。
- 2017/6/17
- `````s`kskkkk
のような演算(Sの再帰)が正しく計算できるように変更。
```s```kisksi
のような演算において正しく左結合するように変更。 - 2017/6/24
- 1秒頻度の非同期で実行するように変更。
- 2017/6/29
- SKxy -> y および KIxy -> y のフィルターを追加。
- 2024/10/30
- X ≡ λx.((xS)K)
X (X (X X)) = K
X (X (X (X X))) = S
X' ≡ λx.(x K S K)
(X' X') X' = K
X' (X' X') = S
適用を左側に置ける訳がない。LL構文解析しかないから。LR文法は曖昧である。