エレファント・ビジュアライザー調査記録

ビジュアルプログラミングで数式の変形を表すことを考えていくブロクです。

ラムダ計算と無限ラムダ多項式(12)

有限の場合から無限の場合へ

有限の場合(任意の再帰的定義の関数の呼び出しの深さが有限の回数  n 以内の場合)、関数定義、無名関数、クロージャーを取り除くことができて、式の値は以前定義した「一般マグマの多項式」のような形にすることができます。

これの無限の場合(任意の  n の場合)について考えることがこの記事の目的となります。