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

A Finite State Machine Editor, viết trên QT. Nó cho phép vẽ Finite State Machine với GUI dễ dàng và lưu trữ nó trong tệp XML. Có hữu hạn nhà nước máy biên dịch để dịch mô tả này để mã nguồn (kỹ thuật như sử dụng UIC của