Bir birleştirici ifadesi (SK bazında diyelim), birleştirici hesap ifadelerini birleştirici hesap ifadelerine eşleyen bir işlev olarak düşünülebilir. Yani, ifadesi fonksiyonu olarak düşünülebilir ; burada , SK bazında tüm sözdizimsel olarak geçerli birleştirici ifadelerin kümesidir. Bu eşleme, girdiyi ifadeye uygulayarak ve ardından çıktıyı almak için normal forma indirgeyerek gerçekleştirilir.
SK temeli Turing tamamlandığından, kişi den kadar herhangi bir hesaplanabilir fonksiyon uygulayan bir SK ifadesi olduğunu düşünebilir . Bununla birlikte, bu açıkça doğru değildir, çünkü azaltmanın sonucu her zaman normal formda olacaktır. Bu, bir ifadenin normal biçimde olmayan bir çıktıya sahip olmasının bir yolu olmadığı anlamına gelir.
Bunun yerine, SK matematik ifadelerini ile eşleme olarak düşünebilirim , burada normal formdaki SK ifadeleri kümesidir. Herhangi bir hesaplanabilir haritası için, bu haritayı uygulayan bir SK ifadesi var mı? Yoksa birleştirici hesap ifadeleriyle bu şekilde hesaplanabilecek fonksiyonlar kümesi üzerinde başka kısıtlamalar var mı?