Le plus petit programme de non-rallonge Nethambda

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

Question

Est ```sii``sii le plus petit Nette programme qui ne s'arrête pas?

En d'autres termes, quel est le plus petit terme de combinateur non terminant dans SKI augmenté avec $ c $ (appel / cc) et $ d $ (retard)? Est-ce $ sii (sii) $?

Pas de solution correcte

Licencié sous: CC-BY-SA avec attribution
Non affilié à cs.stackexchange
scroll top