Smallest non-halting unlambda program

cs.stackexchange https://cs.stackexchange.com/questions/29100

質問

Is ```sii``sii the smallest Unlambda program that doesn't halt?

In other words, what is the smallest non-terminating combinator term in SKI augmented with $C$ (call/cc) and $D$ (delay)? Is it $SII(SII)$?

正しい解決策はありません

ライセンス： CC-BY-SA と 帰属
所属していません cs.stackexchange
scroll top