द्वारा कार्यक्रम maffsa.sf.net

केबीजीएचए के सी++ में एक पुन: कार्य करना। समूह और कॉसेट पुनर्लेखन प्रणालियों के लिए स्वचालित संरचनाओं और कॉन्फ्लोटिक रिराइटिंग सिस्टम की गणना के लिए और परिमित राज्य ऑटोमाटा के साथ कंप्यूटिंग के लिए एक पैकेज और सी + + लाइब्रेर