Chương trình theo libfsd.sf.net

Một thư viện C, cung cấp các API thoải mái cho một loạt các máy trừu tượng nhà nước hữu hạn (NFA, DFA, FST, Bimachines, vv). Thực hiện hầu hết các thuật toán cổ điển trong lĩnh vực này.