프로그램별 fsmc.sf.net

FSMC(유한 상태 기계 컴파일러)는 국가 지향 설명을 표준 프로그램인 프로시저 지향 설명(예: C 프로그램)으로 변환할 수 있는 컴파일러입니다. 참조