Ich lese gerade " Lambda-Kalkül und Kombinatoren " von Hindley und Seldin. Ich bin kein Experte, habe mich aber immer für Lambda-Kalkül interessiert, weil ich mich mit funktionaler Programmierung befasst habe (angefangen mit Lisp und SICP, und jetzt mit R und Haskell). In " Binary Lambda Calculus...
Die Komplexitätsklasse PPAD (zB Berechnung verschiedener Nash-Gleichgewichte) kann definiert werden als die Menge der Gesamtsuchprobleme, die polytime auf END OF THE LINE reduziert : ENDE DER LINIE : Wenn die Schaltungen S und P mit n Eingangsbits und n Ausgangsbits so gegeben sind, dass P (0 n ) =...
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...
Ich suche den kleinstmöglichen universellen Kombinator , gemessen an der Anzahl der Abstraktionen und Anwendungen, die erforderlich sind, um einen solchen Kombinator in der Lambda-Rechnung zu spezifizieren . Beispiele für universelle Kombinatoren sind: Größe 23: λf.f (fS (KKKI)) K Größe 18: λf.f...
Ich habe über diese Fragen nachgedacht: Gibt es eine typisierte Lambda-Rechnung, die konsistent und vollständig ist? /cs/65003/if-%CE%BB-xxx-hat-a-type-then-is-the-type-system-inkonsistent und es gibt bereits einige schwer zu beantwortende Fragen in der untypisierten Einstellung! Insbesondere bin...
Dies ist von dieser Frage inspiriert . Sei die Sammlung aller Kombinatoren, die nur zwei gebundene Variablen haben. Ist C kombinatorisch vollständig?CC\mathcal{C}CC\mathcal{C} Ich glaube, die Antwort ist negativ, aber ich konnte keine Referenz dafür finden. Ich würde mich auch für Referenzen zum...
Ich habe mich eine Weile für verschiedene Themen wie kombinatorische Logik, Lambda-Kalkül und funktionale Programmierung interessiert und sie studiert. Im Gegensatz zur "Theorie der Berechnung", die versucht, die Frage der "Berechenbarkeit" zu beantworten, dh Dinge, die mit verschiedenen...
Inspiriert von dieser Frage war ich neugierig, ob es eine Reduktionsstrategie für untypisierte SKI-Kombinatoren gibt, von der bekannt ist, dass sie entweder normalisiert oder dauerhaft ist. Wie beschrieben hier (Twelfed hier ), die nondeterminstic Regeln des combinator Kalkül sind diese: ichx →...