β変換列
from β簡約
β基を正規形までβ簡約する過程を列にしたもの
ex. 「$ ((\lambda x.(\lambda w.wx))y)z,(\lambda w.wy)z, zy」
β変換列が無限個になるものもある
ex. $ ((\lambda x.xx)(\lambda x.xx))
↑のことをΩ-コンビネータという