Dies ist die Linux-App namens xorlisp, deren neueste Version als xorlisp_0.1.0_continuationsAlmostWorking_runOnConsole_or_unzipToGetSource.jar heruntergeladen werden kann. Es kann online im kostenlosen Hosting-Anbieter OnWorks für Workstations betrieben werden.
Laden Sie diese App namens xorlisp mit OnWorks kostenlos herunter und führen Sie sie online aus.
Befolgen Sie diese Anweisungen, um diese App auszuführen:
- 1. Diese Anwendung auf Ihren PC heruntergeladen.
- 2. Geben Sie in unserem Dateimanager https://www.onworks.net/myfiles.php?username=XXXXX den gewünschten Benutzernamen ein.
- 3. Laden Sie diese Anwendung in einem solchen Dateimanager hoch.
- 4. Starten Sie den OnWorks Linux-Online- oder Windows-Online-Emulator oder den MACOS-Online-Emulator von dieser Website.
- 5. Rufen Sie vom gerade gestarteten OnWorks Linux-Betriebssystem aus unseren Dateimanager https://www.onworks.net/myfiles.php?username=XXXXX mit dem gewünschten Benutzernamen auf.
- 6. Laden Sie die Anwendung herunter, installieren Sie sie und führen Sie sie aus.
xorlisp
Ad
BESCHREIBUNG
Funktioniert noch nicht. Um das Halteproblem zu lösen, werden Computing und Daten mit Debugger-Operationen navigiert: linearForward und treeForward, die eine astronomisch große Bitfolge navigieren, in der 1 (und 0 ist) ist. Alle Paare werden von () abgeleitet. Wahr wird beispielsweise als ((()())()) und falsch als (()(()())) dargestellt. Es scheint sich auf die Kirchencodierung von Lambda zu beziehen, wobei T den ersten Parameter wählt und F den zweiten eines Paares wählt. Fortsetzungen sind fast fertiger Code und werden als ein Paar aus Stapel und Warteschlange dargestellt. Der Stapel ist eine verknüpfte Liste von Paaren von wahr oder falsch und Objekten, die auf den Stapel geschoben werden. Die Warteschlange ist auch eine solche verknüpfte Liste, ist jedoch entgegengesetzt gepaart, sodass der vorherige Warteschlangenzustand links und das nächste Objekt rechts des neuen Paares in die Warteschlange gestellt wird Objekte im acyclicNet), sieht das Nav32 (mit linearForward und treeForward für wahlfreien Zugriff) zuerst das älteste Objekt in der Warteschlange
Eigenschaften
- Noch kein funktionierendes Computer- oder Datensystem, aber fast da
- Fortsetzung
- nachweisbarer Mangel an doppelten Objekten im azyklischen Paarnetzwerk
- so minimalistisch, dass Sie keine Variablennamen erhalten, bis Sie sie aus einer Bitliste ableiten, um Unicode/UTF8-Text darzustellen. Indem wir nicht davon ausgehen, dass Variablennamen existieren, umgehen wir die Notwendigkeit, das Umbenennen während Lambda-Aufrufen zu verwalten.
- Bit-Level-Spezifikation für das gesamte System basierend darauf, dass Lambda ein Warteschlangenautomat wie Rule110 ist
- Entwickelt für Grid-Computing und GPUs, in zukünftigen Versionen
Publikum
Wissenschaft/Forschung, fortgeschrittene Endbenutzer, Entwickler, Sicherheitsexperten
Benutzeroberfläche
Webbasiert, Konsole/Terminal, Plugins
Programmiersprache
Java, Project ist eine Programmiersprache
Kategorien
Dies ist eine Anwendung, die auch von https://sourceforge.net/projects/xorlisp/ abgerufen werden kann. Es wurde in OnWorks gehostet, um auf einfachste Weise online von einem unserer kostenlosen Betriebssysteme ausgeführt zu werden.
