Lambda Lambda-Projekt ist ein Lambda-Kalkülinterpreter.
Jetzt downloaden

Lambda Ranking & Zusammenfassung

Lambda Stichworte

Dolmetscher Infinitesimalrechnung Lambda Kalkülinterpreter. Lambda-Ausdrücke. Lambda Ganzzahlen.

Lambda Beschreibung

Das Lambda-Projekt ist ein Lambda-Kalkülinterpreter. Das Lambda-Projekt ist ein Lambda-Kalkülinterpreter. Es reduziert Lambda-Ausdrücke und wandelt sie in die S, K- und I-Kombinatoren (EXT) um. Es verfügt über die Möglichkeit, Namen mit Lambda-Ausdrücke (def), Ladungsdefinitionen aus einer Datei (Last) zu verknüpfen, und listen Sie aktuelle Definitionen (Liste) auf. Lambda-Ausdrücke, die Ganzzahlen darstellen, werden automatisch nach Bedarf definiert. Viele interessante Kombinatoren werden in einer Definitionsdatei bereitgestellt. Es werden verschiedene Einstellungen zur Verfügung gestellt, um den Weg zu beeinflussen, um die Reduzierung und die Extraktion durchzuführen (Set). Es wird ein kurzes Handbuch angezeigt, das zeigt, wie Lambda funktioniert. . . · Automatische Nummerndefinitionen. · Interpretieren von Lambda-Ausdrücken. · Single Step-Interpretation. · Single-Step-Interpretation. · Variable-Extraktion (Umwandlung in Ski) · Listendefinitionen. · Einige Lambda-Kalkültheorie Release: · Hinzufügen von XAPP-Flag für EXT-Befehl. · EXT erstellt, wenn Sie konstante Ausdrücke entstärken. · Fügen Sie die Vorverarbeitungsvorgänge für die Benutzerhandbuch hinzu. Dadurch wird automatisch eine Inhaltsverzeichnis einfügt und Figurenunternehmen übersetzbar.

Lambda Zugehörige Software