프로그램별 maffsa.sf.net
-
MAF (Monoid Automata Factory) 무료
KBMAG의 C ++ 재작업. 자동 구조 및 코셋 리작성 시스템을 위한 컨할수 리필 시스템 및 유한 상태 오토마타로 컴퓨팅을 위한 패키지 및 C++ 라이브러리
KBMAG의 C ++ 재작업. 자동 구조 및 코셋 리작성 시스템을 위한 컨할수 리필 시스템 및 유한 상태 오토마타로 컴퓨팅을 위한 패키지 및 C++ 라이브러리