Une refonte en C++ de KBMAG. Un package et une bibliothèque C++ pour calculer les structures automatiques et le système de réécriture confluent pour les systèmes de réécriture de groupe et de coset, et pour l’informatique avec des automates d’état finis
historique de la version
- Version files posté sur 2010-07-24
Plusieurs correctifs et mises à jour - Version N/A posté sur 2010-07-24
Détails du programme
- Catégorie: Éducation > Autres
- Éditeur: maffsa.sf.net
- Licence: Gratuit
- Prix: N/A
- Version: Array
- Plate-forme: windows