Birleştirici matematik ifadeleri hangi işlevleri hesaplayabilir?


13

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.XX:LLL

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.XLL

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ı?LLLf:LLX

Yanıtlar:


6

Topu yuvarlatmak ve tanımlanabilir fonksiyonların yapısı hakkında daha derin ve daha ayrıntılı cevaplar veren umutlarla Barendregts'in The Lambda Calculus, Sözdizimi ve Anlambilimi (diğer adıyla "İncil").λLL

Sonuç 20.3.3: tarafından tanımlanan işlevi türlenmemiş tanımlanabilen değildir -calculus, bir terim olup, yani olacak şekilde tüm .δ:L2L

δ(M,N)={True if M=βηNFalse otherwise
λD
D M N=βηδ(M,N)
M,NL

Kanıt, Böhm ağaçları üzerinde, keyfi lambda terimlerinin normal formlar üzerindeki olası "eylemlerinin" oldukça güçlü bir karakterizasyonunu sağlayan hususları içerir. Özellikle, herhangi bir sabit olmayan bir kapalı dönem için , bulabilirsiniz ve bu şekilde FnNP1,,Pn

F x P1Pn=βηx Q1Qk

Bazı , . Bu , böyle bir olamayacağı küçük bir çalışma ile uygulayan varsayımsal bir nin olası biçimlerini büyük ölçüde kısıtlar .kQ1,,QkDδD

Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.