Terinspirasi oleh pertanyaan ini , saya ingin tahu apakah ada strategi pengurangan untuk kombinator SKI yang tidak dikenal yang dikenal sebagai normalisasi atau abadi.
Seperti dijelaskan di sini (Twelfed here ), aturan nondeterminstic dari kalkulus combinator adalah sebagai berikut:
x → x ′ jika
y → y ′ if