Ini adalah aplikasi Linux bernama Combinatory Reduction Systems Extended yang rilis terbarunya dapat diunduh sebagai crsx401.zip. Ini dapat dijalankan secara online di penyedia hosting gratis OnWorks untuk workstation.
Unduh dan jalankan aplikasi ini secara online bernama Sistem Pengurangan Kombinasi Diperpanjang dengan OnWorks secara gratis.
Ikuti petunjuk ini untuk menjalankan aplikasi ini:
- 1. Download aplikasi ini di PC Anda.
- 2. Masuk ke file manager kami https://www.onworks.net/myfiles.php?username=XXXXX dengan username yang anda inginkan.
- 3. Upload aplikasi ini di filemanager tersebut.
- 4. Jalankan emulator online OnWorks Linux atau Windows online atau emulator online MACOS dari situs web ini.
- 5. Dari OS Linux OnWorks yang baru saja Anda mulai, buka file manager kami https://www.onworks.net/myfiles.php?username=XXXXX dengan nama pengguna yang Anda inginkan.
- 6. Download aplikasinya, install dan jalankan.
Sistem Pengurangan Kombinasi Diperpanjang
DESKRIPSI:
Implementasi Sistem Pengurangan Kombinasi (CRS) dengan ekstensi eksperimental, di Jawa. CRS adalah formalisme untuk penulisan ulang tingkat tinggi yang ditemukan oleh Jwklop pada tahun 1980. Untuk detail lebih lanjut, lihat Proyek/Situs Web.
Fitur
- Penulisan Ulang Istilah
- Hasilkan kompiler dari spesifikasi formal
- Penulisan Ulang Orde Tinggi
- Kalkulus Lambda
Para penonton
Pengguna Akhir Lanjutan, Sains/Penelitian
User interface
Baris perintah, Eclipse
Bahasa Pemrograman
C, Jawa
Ini adalah aplikasi yang juga dapat diambil dari https://sourceforge.net/projects/crsx/. Ini telah di-host di OnWorks untuk dijalankan secara online dengan cara termudah dari salah satu Sistem Operasi gratis kami.