部分項
ラムダ計算
の部分項
subterm
項を集合と見たときの、部分集合みたいなやつ(雑)
定義 ref
『(理論)12 計算モデルの基礎理論』.icon
p.74
$ x\in\mathcal{V}
の部分項は
$ x
$ (MN)
の部分項は、
$ M
の部分項、
$ N
の部分項、
$ (MN)
それ自身
$ \lambda x.M
の部分項は
$ M
の部分項と
$ \lambda x.M
それ自身
真部分項
上の定義で、自分自身を含まない部分項