Làm lại trong C++ của KBMAG. Một gói và thư viện C++ để tính toán cấu trúc tự động và hệ thống viết lại hợp lưu cho các hệ thống viết lại nhóm và coset, và để tính toán với automata trạng thái hữu hạn
lịch sử phiên bản
- Phiên bản files đăng trên 2010-07-24
Một số bản sửa lỗi và cập nhật - Phiên bản N/A đăng trên 2010-07-24
Chi tiết chương trình
- Mục: Giáo dục > Khác
- Publisher: maffsa.sf.net
- Giấy phép: Miễn phí
- Giá: N/A
- Phiên bản: Array
- Nền tảng: windows