| Lambda hesap makinesi Bir lambda ifadesi girin ve normal forma azaltın |
Şimdi İndirin |
Lambda hesap makinesi Sıralama ve Özet
- yayıncı web sitesi:
- http://ozark.hendrix.edu/~burch/
- İşletim sistemleri:
- Mac OS X
Lambda hesap makinesi Etiketler
Lambda hesap makinesi Açıklama
Bir lambda ifadesi girin ve normal forma azaltın Lambda Hesaplama, Kilise tarafından icat edilen Lambda Calculus için ücretsiz ve kullanımı kolay bir motordur. Lambda Hesaplama, kullanıcının bir Lambda ekspresyonu girmesini sağlar ve ifadeyi normal formda azaltmak için motor tarafından alınan azaltma dizisini görebilir. Lambda Hesap Makinesi, saf hesaplama ve basit bir uygulamalı analiz ile istekli ve tembel değerlendirme arasındaki seçenekler de dahil olmak üzere çeşitli özelleştirme seçeneklerine izin verir. Lambda Hesaplama, Lambda Calculus ile öğrenmek ve denemek için faydalı bir araçtır. Gereksinimler: · Java 1.4 veya üstü Bu sürümde yenilikler: · Özellik: Maksimum uzunluk seçeneğiyle, program kullanıcının yazdırılan her bir ifadede görüntülenen maksimum karakter sayısını bağlamasını sağlar. Bu, hesaplama işleminin daha hızlı gitmesini sağlar ve metin alanı daha verimli çalışır. · Özellik: Program, Lambda karakterlerini ters eğik çizgi yerine görüntüler. Lambda Karakter seçeneği, özelliği devre dışı bırakma yeteneğini verir. · Arayüz Tweak: Giriş alanı bir sembolün değerini gösterdiğinde ve ardından kullanıcı alandaki değeri değiştirirken, program tarayıcıdaki sembolü seçer. · Hata Düzeltme: Tanımlamacıların eşitliği testinde bir hata, bazı Java kurulumlarını, ifadelerdeki eşleşen sembolleri tanımamak için başarısız olmalarını sağlar.
Lambda hesap makinesi İlgili Yazılım