Pengerjaan ulang di C++ KBMAG. Pustaka paket dan C++ untuk menghitung struktur otomatis dan sistem penulisan ulang konfluen untuk sistem penulisan ulang grup dan koset, dan untuk komputasi dengan automata status terbatas
Riwayat versi
- Versi files diposting di 2010-07-24
Beberapa perbaikan dan pembaruan - Versi N/A diposting di 2010-07-24
Detil Program
- Kategori: Pendidikan > Lain
- Penerbit: maffsa.sf.net
- Lisensi: Gratis
- Harga: N/A
- Versi: Array
- Platform: windows