Maf Pakket dat automatische structuren kan berekenen
Download nu

Maf Rangschikking & Samenvatting

Maf Tags

structuur automaten COVERING KBMAG bewerking automatische structuur C ++ herschrijven KBMAG

Maf Beschrijving

Maf of Monoid Automata-fabriek is een herbewerking van KBMAG in C ++. Het is een pakket- en C ++ -bibliotheek voor het berekenen van automatische structuren en confluent herschrijfsysteem voor het herschrijven van groeps- en coset-herschrijven, en voor het berekenen met eindige staatsautomaten. Belangrijkste kenmerken: Meestal compatibel met KBMAG, inclusief de GAP-interface bevat vele hulpprogramma's voor het berekenen met FSA meer uitgebreide cosetsysteemondersteuning dan KBMAG kan subgroeppresentaties berekenen en vereenvoudigen versie 2 bevat COSET-opsteller + vele andere nieuwe hulpprogramma's

Maf Gerelateerde software