Maf Pakket voor het berekenen met eindige staat Automata
Download nu

Maf Rangschikking & Samenvatting

Maf Tags

berekenen structuur eindige staat automatische structuur berekenen

Maf Beschrijving

Pakket voor het berekenen met eindige staatsautomaat MAF is een gratis en open source herwerken in C ++ van KBMAG. Een pakket- en C ++ -bibliotheek voor het berekenen van automatische structuren en confluent herschrijfsysteem voor groeps- en coset herschrijvende systemen, en voor het berekenen met eindige staatsautomaat: dit zijn de binaries voor build 46 van MAF. Mac-gebruikers kunnen de 32-bits of 64-bits versies downloaden. De 32-bits versie zal waarschijnlijk beter voor u werken tenzij u ten minste 6 of 7 GB RAM hebt. Mogelijk moet u uw omgeving wijzigen, zodat de uitvoerbare bestanden Libmaf.dylib correct kunnen vinden. Hier zijn enkele belangrijke functies van "MAF": · Kunnen automatische structuren voor elk woord-ordening berekenen · Meestal compatibel met KBMAG, inclusief de GAP-interface · Inclusief vele hulpprogramma's voor het berekenen met FSA · Meer uitgebreide COSET-systeemondersteuning dan KBMAG · Kan subgroeppresentaties berekenen en vereenvoudigen Vereisten: · Java Wat is er nieuw in deze release: · Prestaties van FSA-minimalisatie is aanzienlijk verbeterd, zodat de bouw van grote automatische structuren nu veel sneller is. · Er is een nieuwe hulpprogramma GPCClass die een FSA creëert die het conjugacy-probleem oplost voor een eindige groep. · Er zijn enkele nieuwe opdrachtregelopties voor Automata, meestal verbonden met het gebruik van COSET-systemen met genoemde subgenerators om subgroepen van grote maar eindige index te vinden.

Maf Gerelateerde software