Maf Otomatik yapıları hesaplayabilen paket
Şimdi İndirin

Maf Sıralama ve Özet

Maf Etiketler

yapı Otomat Kovaryansı hesaplamak Kbmag Reworking otomatik yapı C ++ yeniden yazma Kbmag

Maf Açıklama

MAF veya Monoid Automata Fabrikası, C ++ 'da KBMAG'nin bir elyılamasıdır. Grup ve coset yeniden yazma sistemleri için otomatik yapılar ve birleşmiş yeniden yazma sistemini hesaplamak için bir paket ve C ++ kütüphanesidir ve sonlu devlet otomatlarıyla bilgi vermek için. Ana Özellikler: Çoğunlukla GAP arayüzü de dahil olmak üzere Kbmag ile uyumludur , FSA ile bilgi vermek için birçok yardımcı programı içerir. Kbmag'dan daha kapsamlı coset sistemi desteği Alt grup sunumlarını hesaplayabilir ve basitleştirebilir version 2, COSET TRANSERATÖRÜ + diğer birçok yeni yardımcı programı içerir

Maf İlgili Yazılım