Lambda-Rechner Lambda-Kalkül, leicht gemacht.
Jetzt downloaden

Lambda-Rechner Ranking & Zusammenfassung

Lambda-Rechner Stichworte

Taschenrechner Berechnung Infinitesimalrechnung Subtraktionsrechner Veterinär Kalkül Lambda-Ausdrücke Lambda Kalkül Compiler Erlang-Kalkül Lambda-Ausdruck PI-Calculus-Simulator Lambda-Gleichung. Differentialrechnung Integralrechnung Parameter Lambda. Lambda-Rechner Lambda-Kalkül Reduktions-Sequenz PI-Kalkül-Modell Calculus-Programmierung. Einfacher Grundriss MDS zum Pot Speichermanager für FORRAN-CALCULUS-Programmierung. lg kg195 spiele. H3PO3 starke Säure Nostradamus Prophecy 1971. Mittelwert-Rechner MP4-Video-Tag. Navigator Smartphone Free. WordPad zu JAR. Maplestory-Wiederholungsprogramm. Fortran Calculus Compiler Fortran-Kalkülsprache. furc

Lambda-Rechner Beschreibung

Lambda-Rechner ist ein praktischer, java basierender Motor, der speziell für den Lambda-Kalkül entwickelt wurde. Es ermöglicht dem Benutzer, einen Lambda-Expression einzugeben und die Sequenz von Reduzierungen des Motors zu sehen, um den Ausdruck auf normale Form zu reduzieren. Das Programm ermöglicht eine Vielzahl von Anpassungsoptionen, einschließlich der Auswahlmöglichkeiten zwischen dem reinen Kalkül und einem einfachen, angelegten Kalkül und zwischen eifriger und faulen Bewertung. Es ist ein nützliches Instrument zum Lernen und Experimentieren mit dem Lambda-Kalkül.

Lambda-Rechner Zugehörige Software