Maf. pacchetto in grado di calcolare le strutture automatiche
Scarica ora

Maf. Classifica e riepilogo

Maf. Tag

struttura Automata Computa Covariance. KBMAG rielaborazione Struttura automatica Riscrittura C ++. Kbmag.

Maf. Descrizione

Maf o Monoid Automata Factory è una rielaborazione di KBMAG in C ++. È un pacchetto e una libreria C ++ per la calcolo di strutture automatiche e il sistema di riscrittura confluente per sistemi di riscrittura di Gruppo e Coset e per il calcolo con automati di stato finiti. Caratteristiche principali: per lo più compatibile con KBMAG, inclusa l'interfaccia Gap include molte utilità per il calcolo con FSA Supporto più ampio del sistema di COSET di KBMAG può calcolare e semplificare le presentazioni del sottogruppo La versione 2 include Coset Enumerator + molte altre nuove utenze

Maf. Software correlato