Lambda calculus
また、ラムダ計算で記述される再帰関数やマルコフアルゴリズムで計算できる関数も同じである。