Inspiriert von dieser Frage war ich neugierig, ob es eine Reduktionsstrategie für untypisierte SKI-Kombinatoren gibt, von der bekannt ist, dass sie entweder normalisiert oder dauerhaft ist.
Wie beschrieben hier (Twelfed hier ), die nondeterminstic Regeln des combinator Kalkül sind diese:
wenn x → x
wenn y → y '