Maf Paquet pour l'informatique avec Automate d'état fini
Télécharger maintenant

Maf Classement & Résumé

Maf Mots clés

calculer structure état fini calculer la structure automatique

Maf La description

Paquet pour l'informatique avec Automate d'état fini Le MAF est une reprise gratuite et open source en C ++ de Kbmag. Un package et une bibliothèque C ++ pour calculer des structures automatiques et un système de réécriture confluent pour les systèmes de réécriture du groupe et de la réécriture de COSET, ainsi que pour l'informatique avec Automate d'état fini.Note: Ce sont les fichiers binaires pour la construction 46 du MAF. Les utilisateurs de Mac peuvent télécharger les versions 32 bits ou 64 bits. La version 32 bits fonctionnera probablement mieux pour vous, sauf si vous avez au moins 6 ou 7 Go de RAM. Vous devrez peut-être modifier votre environnement afin que les exécutables puissent correctement localiser libmaf.dylib. Voici quelques caractéristiques essentielles du "MAF": · Peut calculer des structures automatiques pour tout mot-ordonnance · Principalement compatible avec Kbmag, y compris l'interface GAP · Comprend de nombreux utilitaires pour l'informatique avec la FSA · Support de système de conception plus étendu que kbmag · Peut calculer et simplifier les présentations de sous-groupes Exigences: · Java Quoi de neuf dans cette version: · Les performances de la minimisation de la FSA ont été considérablement améliorées, de sorte que la construction de grandes structures automatiques est maintenant beaucoup plus rapide. · Il existe une nouvelle giflass utilitaire qui crée une FSA qui résout le problème de conjugaison pour un groupe fini. · Il existe de nouvelles options de ligne de commande pour automates, principalement liées à l'utilisation de systèmes COSET avec des sous -érateurs nommés pour trouver des sous-groupes d'index volumineux mais fini.

Maf Logiciels associés