Lambda-Rechner Geben Sie einen Lambda-Expression ein und reduzieren Sie ihn auf normale Form
Jetzt downloaden

Lambda-Rechner Ranking & Zusammenfassung

Lambda-Rechner Stichworte

Expressionsrechner Ausdruck reduzieren Lambda den Ausdruck reduzieren Lambda-Ausdruck

Lambda-Rechner Beschreibung

Geben Sie einen Lambda-Ausdruck ein und reduzieren Sie ihn auf normale Form Lambda-Rechner ist ein freier und einfach zu bedienender Motor für den von der Kirche erfundenen Lambda-Kalkulus. Lambda-Rechner ermöglicht es dem Benutzer, einen Lambda-Expression einzugeben und die Sequenz von Reduzierungen des Motors zu sehen, um den Ausdruck auf normale Form zu reduzieren. Lambda-Rechner ermöglicht eine Vielzahl von Anpassungsoptionen, einschließlich Auswahlmöglichkeiten zwischen dem reinen Kalkül und einem einfachen angelegten Kalkül und zwischen eifriger und faulen Bewertung. Lambda-Rechner ist ein nützliches Instrument zum Lernen und Experimentieren mit dem Lambda-Kalkül. Anforderungen: · Java 1.4 oder höher Was ist neu in dieser Version: · Feature: Über die Option mit maximaler Länge ermöglicht das Programm den Benutzer, die maximale Anzahl von Zeichen zu binden, die in jedem ausgedruckten Ausdruck angezeigt werden. Dies macht den Berechnungsprozess schneller und der Textbereich arbeitet effizienter. · Feature: Das Programm zeigt Lambda-Zeichen anstelle von Backslaslashes an. Die Option Drucken Lambda-Zeichen-Option gibt die Möglichkeit, das Feature zu deaktivieren. · Schnittstelle Tweak: Wenn das Eingabefeld den Wert eines Symbols anzeigt, und dann ändert der Benutzer den Wert in diesem Feld, das Programm deaktiviert das Symbol im Browser. · Fehlerbehebung: Ein Fehler in der Gleichstellungsprüfung von Bezeichnern führte einige Java-Installationen, um passende Symbole in Ausdrücke nicht zu erkennen.

Lambda-Rechner Zugehörige Software