Maf

package capable de calculer des structures automatiques
Télécharger maintenant

Maf Classement & Résumé

Publicité

  • Rating:
  • Licence:
  • GPL
  • Nom de l'éditeur:
  • Alun Williams
  • Systèmes d'exploitation:
  • Windows All
  • Taille du fichier:
  • 818 KB

Maf Mots clés


Maf La description

L'usine MAF ou Monoid Automata est une reprise de Kbmag en C ++. C'est 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 et pour l'informatique avec des automates finis de l'état. Caractéristiques principales: principalement compatible avec Kbmag, y compris l'interface GAP inclut de nombreux utilitaires pour l'informatique avec la FSA plus vaste soutien du système de conception que kbmag peut calculer et simplifier les présentations de sous-groupe version 2 comprend COSET Enumerator + de nombreux autres nouveaux utilitaires


Maf Logiciels associés

À propos de nous