Engee 文档
有限自动机的类型
状态机
状态机层次结构
有限自动机调试器
过渡图