Đây là ứng dụng Linux có tên Combinatory Reduction Systems Extended có bản phát hành mới nhất có thể được tải xuống dưới dạng crsx401.zip. Nó có thể được chạy trực tuyến trong nhà cung cấp dịch vụ lưu trữ miễn phí OnWorks cho máy trạm.
Tải xuống và chạy trực tuyến ứng dụng có tên Combinatory Reduction Systems Extended with OnWorks này miễn phí.
Làm theo các hướng dẫn sau để chạy ứng dụng này:
- 1. Đã tải ứng dụng này xuống PC của bạn.
- 2. Nhập vào trình quản lý tệp của chúng tôi https://www.onworks.net/myfiles.php?username=XXXXX với tên người dùng mà bạn muốn.
- 3. Tải lên ứng dụng này trong trình quản lý tệp như vậy.
- 4. Khởi động trình giả lập trực tuyến OnWorks Linux hoặc trình giả lập trực tuyến Windows hoặc trình mô phỏng trực tuyến MACOS từ trang web này.
- 5. Từ Hệ điều hành OnWorks Linux mà bạn vừa khởi động, hãy truy cập trình quản lý tệp của chúng tôi https://www.onworks.net/myfiles.php?username=XXXXX với tên người dùng mà bạn muốn.
- 6. Tải xuống ứng dụng, cài đặt và chạy nó.
Mở rộng hệ thống giảm tổ hợp
SỰ MIÊU TẢ:
Triển khai Hệ thống Giảm tổ hợp (CRS) với các phần mở rộng thử nghiệm, trong Java. CRS là một chủ nghĩa hình thức để viết lại bậc cao do JWKlop phát minh vào năm 1980. Để biết thêm chi tiết, hãy xem Dự án / Trang web.
Tính năng
- Viết lại kỳ hạn
- Tạo trình biên dịch từ các thông số kỹ thuật chính thức
- Viết lại đơn hàng cao hơn
- Giải tích Lambda
Khán giả
Người dùng cuối nâng cao, Khoa học / Nghiên cứu
Giao diện người dùng
Dòng lệnh, Eclipse
Ngôn ngữ lập trình
C,Java
Đây là một ứng dụng cũng có thể được tìm nạp từ https://sourceforge.net/projects/crsx/. Nó đã được lưu trữ trên OnWorks để có thể chạy trực tuyến một cách dễ dàng nhất từ một trong những Hệ thống hoạt động miễn phí của chúng tôi.