Dit is de Linux-app genaamd xorlisp waarvan de nieuwste release kan worden gedownload als xorlisp_0.1.0_continuationsAlmostWorking_runOnConsole_or_unzipToGetSource.jar. Het kan online worden uitgevoerd in de gratis hostingprovider OnWorks voor werkstations.
Download en voer deze app met de naam xorlisp gratis online uit met OnWorks.
Volg deze instructies om deze app uit te voeren:
- 1. Download deze applicatie op uw pc.
- 2. Voer in onze bestandsbeheerder https://www.onworks.net/myfiles.php?username=XXXXX in met de gebruikersnaam die u wilt.
- 3. Upload deze applicatie in zo'n bestandsbeheerder.
- 4. Start de OnWorks Linux online of Windows online emulator of MACOS online emulator vanaf deze website.
- 5. Ga vanuit het OnWorks Linux-besturingssysteem dat u zojuist hebt gestart naar onze bestandsbeheerder https://www.onworks.net/myfiles.php?username=XXXXX met de gewenste gebruikersnaam.
- 6. Download de applicatie, installeer hem en voer hem uit.
xorlisp
Ad
PRODUCTBESCHRIJVING
Werkt nog niet. Om het Halting-probleem aan te pakken, wordt door computers en gegevens genavigeerd met behulp van debugger-operaties: linearForward en treeForward, die navigeren door een astronomisch grote bitreeks waarbij 1 is (en 0 is). Alle paren zijn afgeleid van (). True wordt bijvoorbeeld weergegeven als ((()())()), en false is (()(()())). Het lijkt verband te houden met de kerkcodering van lambda, waarbij T de eerste parameter kiest en F de tweede van een paar. Voortzettingen zijn bijna voltooide code en worden weergegeven als een paar stapels en wachtrijen. De stapel is een gekoppelde lijst van een paar waar of onwaar en een object dat op de stapel is geduwd. De wachtrij is ook zo'n gekoppelde lijst, maar is tegengesteld gekoppeld, dus de vorige wachtrijstatus gaat naar links en het volgende object in de wachtrij rechts van het nieuwe paar, dus wanneer de wachtrij wordt genavigeerd in volgorde van die astronomisch lange bitstring (dat is exponentieel van hergebruik objecten in het acyclicNet), ziet de Nav32 (met linearForward en treeForward voor willekeurige toegang) eerst het oudste object in de wachtrij
Kenmerken
- Nog geen werkend computer- of datasysteem, maar bijna daar
- vervolgingen
- aantoonbaar gebrek aan dubbele objecten in het acyclische netwerk van paren
- zo minimalistisch dat je pas variabelenamen krijgt als je ze afleidt uit een lijst met bits om unicode/UTF8-tekst weer te geven. Door er niet van uit te gaan dat variabelenamen bestaan, omzeilen we de noodzaak om het hernoemen te beheren tijdens lambda-aanroepen.
- bitniveauspecificatie voor het hele systeem gebaseerd op het feit dat lambda een wachtrijautomaat is zoals Rule110
- Ontworpen voor grid computing en GPU's, in toekomstige versies
Toehoorders
Wetenschap/onderzoek, geavanceerde eindgebruikers, ontwikkelaars, beveiligingsprofessionals
Gebruikersinterface
Webgebaseerd, console/terminal, plug-ins
Programmeertaal
Java, Project is een programmeertaal
Categorieën
Dit is een applicatie die ook kan worden opgehaald van https://sourceforge.net/projects/xorlisp/. Het is gehost in OnWorks, zodat het op de gemakkelijkste manier online kan worden uitgevoerd vanaf een van onze gratis besturingssystemen.
