Lambda hesap makinesi

Bir lambda ifadesi girin ve normal forma azaltın
Şimdi İndirin

Lambda hesap makinesi Sıralama ve Özet

Reklamcılık

  • Rating:
  • Lisans:
  • Freeware
  • Fiyat:
  • FREE
  • Yayıncı adı:
  • Carl Burch
  • yayıncı web sitesi:
  • http://ozark.hendrix.edu/~burch/
  • İşletim sistemleri:
  • Mac OS X
  • Dosya boyutu:
  • 80 KB

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

Synteview

Prokaryotik genomlarda genin bitişikliği korumanın görselleştirilmesi için yazılım ...

165 1 KB

İndirmek