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

एक सी लाइब्रेरी, परिमित राज्य सार मशीनों (एनएफए, डीएफए, एफएसटी, बिमशीन, आदि) की एक विस्तृत श्रृंखला के लिए आरामदायक एपीआई प्रदान करती है। क्षेत्र में शास्त्रीय एल्गोरिदम के अधिकांश लागू करता है।