«extensionality» etiketlenmiş sorular

4
Lambda hesabında
Sanırım anlamadım, ama -conversion bana hiçbir şey yapmayan bir -conversion, sonucun sadece lambda soyutlamasındaki terim olduğu özel bir -version gibi görünüyor çünkü hiçbir şey yok bir nevi anlamsız dönüşüm.ηη\etaββ\betaββ\betaββ\beta Yani belki dönüşüm gerçekten derin ve farklı bir şeydir, ama eğer öyleyse, anlamıyorum ve umarım bana yardımcı olabilirsiniz.ηη\eta (Teşekkürler ve özür …
2
Lambda hesabı için ara eta teorileri var mı?
Lambda kalkülüsünün incelenen iki teorisi vardır: beta teorisi ve onun Post-complete uzantısı, beta-eta teorisi. Bu iki teorinin birbirine karışmış bir yeniden yazma teorisi veren bir tür ara ara eta kuralı var mı? Buna karşılık gelen bazı ilginç kısmi uzama kavramı var mı? Bu benim orta eta peşinde istediler ikinci soru, …
4
Fonksiyonlar için eta-denklik Haskell'in seq işlemi ile karşılaştırılabilir mi?
Lemma: Eta denkliği varsayalım (\x -> ⊥) = ⊥ :: A -> B. İspat: ⊥ = (\x -> ⊥ x)eta-denklik ve (\x -> ⊥ x) = (\x -> ⊥)lambda altında azalma ile. Haskell 2010 raporu, bölüm 6.2 seqfonksiyonu iki denklemle belirtir : seq :: a -> b -> b seq …
1
Desen lambda hesabında Eta genişlemesi
Klop, van Oostrom ve de Vrijer'in lambda hesabı üzerinde desenleri olan bir makalesi var. http://www.sciencedirect.com/science/article/pii/S0304397508000571 Bir anlamda, bir model bir değişkenler ağacıdır - bunu sadece iç içe geçmiş bir değişkenler kümesi olarak düşünüyorum, örneğin, ((x, y), z), (t, s)). Makalede, eğer modeller doğrusalsa, bir desendeki hiçbir değişkenin tekrarlanmadığı anlamında, kuralın …
1
Lambda hesabı modellerinin genişlemesi
LISP üzerine bir kitap çeviriyorum ve doğal olarak -calculus'un bazı unsurlarına dokunuyor. Bu nedenle, bazı -calculus modellerinin yanı sıra uzatma kavramından bahsedilmektedir : ve (evet, sonsuzluk üstte). Ve söz konusu olduğu isimli yayma ise değildir.λ P ω D ∞ P ω D ∞λλ\lambdaλλ\lambdaPωPω\mathcal{P}_\omegaD∞D∞D^\inftyPωPω\mathcal{P}_\omegaD∞D∞D^\infty Ama ... Barendregt'in Lambda Kalkülüsüne bakıyordum , …
3
İki fonksiyonun genişlemenin eşit olup olmadığını hesaplamak mümkün müdür?
Farklı bir sıralama algoritması uygulayan iki işleviniz varsa, kaynak kodla her ikisinin de aynı harici özelliklere sahip olduğu sonucunu çıkarmak mümkün müdür? Her ikisinin de girişleri olarak sıralanmamış bir sıraya ve çıkışları olarak sıralı bir sıraya sahip olacağı anlamına mı geliyor? Bu harici özellikler ne şekilde kaynak kodu ile belirlenebilir? …
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.