1
Một ví dụ trong đó thuật ngữ lambda bình thường nhỏ nhất không nhanh nhất
Đặt của λ -terms được định nghĩa như sau: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 . Đặt độ phức tạp của -term được định nghĩa là số lần giảm beta song song từ sang dạng bình thường (sử dụng …