1
En küçük normal lambda teriminin en hızlı olmadığı bir örnek
Let arasında aşağıdaki gibi tanımlanabilir -terms:λsizesizesizeλλ\lambda size(x)=1size(x)=1size(x) = 1 , size(λx.t)=size(t)+1size(λx.t)=size(t)+1size(λx.t) = size(t) + 1 , size(ts)=size(t)+size(s)+1size(ts)=size(t)+size(s)+1size(t s) = size(t) + size(s) + 1 . Bir λλ\lambda -term t karmaşıklığı tx normal formuna tttparalel Lev indirgeme sayısı olarak tanımlanabilir olsun (Levy anlamda optimal bir değerlendirici kullanarak).txtxt x Daha büyük terimin …