Questa è l'app Linux denominata Combinatory Reduction Systems Extended la cui ultima versione può essere scaricata come crsx401.zip. Può essere eseguito online nel provider di hosting gratuito OnWorks per workstation.
Scarica ed esegui online questa app denominata Combinatory Reduction Systems Extended con OnWorks gratuitamente.
Segui queste istruzioni per eseguire questa app:
- 1. Scaricata questa applicazione sul tuo PC.
- 2. Entra nel nostro file manager https://www.onworks.net/myfiles.php?username=XXXXX con il nome utente che desideri.
- 3. Carica questa applicazione in tale file manager.
- 4. Avviare l'emulatore online OnWorks Linux o Windows online o l'emulatore online MACOS da questo sito Web.
- 5. Dal sistema operativo OnWorks Linux che hai appena avviato, vai al nostro file manager https://www.onworks.net/myfiles.php?username=XXXXX con il nome utente che desideri.
- 6. Scarica l'applicazione, installala ed eseguila.
Sistemi di riduzione combinati estesi
DESCRIZIONE:
Implementazione di Combinatory Reduction Systems (CRS) con estensioni sperimentali, in Java. CRS è un formalismo per la riscrittura di ordine superiore inventato da JWKlop nel 1980. Per ulteriori dettagli vedere il Project/Web Site.
Caratteristiche
- Riscrittura dei termini
- Genera compilatori da specifiche formali
- Riscrittura di ordine superiore
- Calcolo lambda
Pubblico
Utenti finali avanzati, scienza/ricerca
Interfaccia utente
Riga di comando, Eclipse
Linguaggio di programmazione
C, Giava
Questa è un'applicazione che può anche essere scaricata da https://sourceforge.net/projects/crsx/. È stato ospitato in OnWorks per essere eseguito online nel modo più semplice da uno dei nostri sistemi operativi gratuiti.