Ω-コンビネータ
from コンビネータ
$ \Omega\equiv(\lambda x.xx)(\lambda x.xx)
発散コンビネータともいう
SKIコンビネータで表現すると$ \Omega=SII
$ \Omega\Omegaは簡約してもそのままなので正規形を持たない
言い換えればβ変換列が無限列になる
https://tnomura9.exblog.jp/27785890/