Le plus petit programme de non-rallonge Nethambda
-
31-10-2019 - |
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