可视化构建 DFA、NFA，自动识别字符串，支持正则转换
这是浏览器端有限状态自动机构建工具，用于理论计算学习和自动机逻辑验证。帮你不用手绘就能快速画出状态转移图，直接验证识别逻辑。
遵循形式语言与自动机理论标准，明确区分确定有限自动机 DFA 和非确定有限自动机 NFA，支持空转移处理，转换结果符合经典理论推导规则。
目前单画布最多支持 50 个状态节点。超出后画布渲染会变慢，普通学习场景完全够用。
支持。可以添加空转移边，工具识别字符串时会自动处理ε闭包计算，结果符合理论规则。
不是。生成结果遵循状态消去法推导规则，不会做额外的正则化简，你可以手动整理结果。
暂不支持直接导出图片。你可以使用浏览器自带的截图功能保存当前画布内容。