from コンビネータ

\Omega\equiv(\lambda x.xx)(\lambda x.xx)

発散コンビネータともいう

SKIコンビネータで表現すると\Omega=SII

\Omega\Omegaは簡約してもそのままなので正規形を持たない

言い換えればβ変換列が無限列になる