Da es bei Lambda the Ultimate keine Antwort gab, versuche ich es hier noch einmal: Term Rewriting-Systeme werden beispielsweise in automatisierten Theoremen verwendet, um eine symbolische Berechnung zu beweisen und natürlich formale Grammatiken zu definieren. Es gibt einige Programmiersprachen, die...
Es scheint mir, dass die von verwendete Makrosprache möglicherweise als eine Art System zur Umschreibung von Begriffen oder eine Art Programmiersprache mit Call-by-Name-Scoping angesehen werden kann.TEXTEX\TeX Sogar moderne Implementierungen der Engine (z. B. ) interpretieren Code ganz direkt, und...
Ist es möglich, algorithmisch zu testen, ob eine berechenbare Zahl rational oder ganzzahlig ist? Mit anderen Worten, könnte eine Bibliothek, die berechenbare Zahlen implementiert, die Funktionen bereitstellen, isIntegeroder isRational? Ich vermute, dass es nicht möglich ist und dass dies irgendwie...
Jetzt können wir sehen, dass Church mit dem einfach getippten Lambda-Kalkül in Verbindung gebracht wurde . Tatsächlich scheint er den einfach getippten Lambda-Kalkül erklärt zu haben, um Missverständnisse über den Lambda-Kalkül zu vermeiden. Jetzt, als John McCarthy Lisp kreierte, basierte er es...
Ich bin neu im Studium von Umschreibungssystemen als Doktorand im ersten Jahr. Ich möchte einen speziellen Themenkurs zur Umschreibungstheorie vorschlagen und möchte sicherstellen, dass ich keine der Originalquellen auslasse. Ich habe eine Kopie von Barendregt und Terese als Lehrbuchquellen. Für...