拖拽创建有限状态机,支持输入测试,自动生成转移函数表
这是浏览器端的可视化有限状态机设计工具。你可以拖拽节点画状态转移图,测试输入字符串并追踪运行路径。
它支持普通状态转移,也支持 ε 空转移。设计完成后,会自动整理生成结构化的转移函数表格,方便导出复用。
最多支持 50 个状态节点,满足课堂作业和小规模设计完全足够。
完全支持 ε 空转移,测试运行时会自动处理空转移的状态跳转逻辑。
当前仅生成可复制的转移函数表格,暂不支持导出完整的结构文件。
测试字符串最长支持 1000 个字符,足够常规的测试使用。