Aceasta este aplicația Linux numită Combinatory Reduction Systems Extended, a cărei ultimă versiune poate fi descărcată ca crsx401.zip. Poate fi rulat online în furnizorul de găzduire gratuit OnWorks pentru stații de lucru.
Descărcați și rulați online această aplicație numită Combinatory Reduction Systems Extended with OnWorks gratuit.
Urmați aceste instrucțiuni pentru a rula această aplicație:
- 1. Ați descărcat această aplicație pe computer.
- 2. Introduceți în managerul nostru de fișiere https://www.onworks.net/myfiles.php?username=XXXXX cu numele de utilizator pe care îl doriți.
- 3. Încărcați această aplicație într-un astfel de manager de fișiere.
- 4. Porniți emulatorul online OnWorks Linux sau Windows online sau emulatorul online MACOS de pe acest site web.
- 5. Din sistemul de operare OnWorks Linux pe care tocmai l-ați pornit, accesați managerul nostru de fișiere https://www.onworks.net/myfiles.php?username=XXXXX cu numele de utilizator dorit.
- 6. Descărcați aplicația, instalați-o și rulați-o.
Sisteme combinatorii de reducere extinse
Ad
DESCRIERE
Implementarea sistemelor combinatorii de reducere (CRS) cu extensii experimentale, în Java. CRS este un formalism pentru rescrierea de ordin superior inventat de JWKlop în 1980. Pentru mai multe detalii, consultați proiectul/site-ul web.
Categorii
- Rescrierea termenului
- Generați compilatoare din specificații formale
- Rescriere de ordin superior
- Calcul Lambda
Public
Utilizatori finali avansați, Știință/Cercetare
Interfața cu utilizatorul
Linie de comandă, Eclipse
Limbaj de programare
C, Java
Aceasta este o aplicație care poate fi preluată și de la https://sourceforge.net/projects/crsx/. A fost găzduit în OnWorks pentru a fi rulat online într-un mod cât mai ușor de pe unul dintre sistemele noastre operative gratuite.
