在线FSM有限状态机模拟器
规则行写S,a,T;从初态S读取字符a后转到T,按输入的Unicode码点逐个处理。此工具无需安装,所有处理均在当前浏览器本地完成,不会上传输入内容或本地文件。
开始使用
可复核示例
规则行写S,a,T;从初态S读取字符a后转到T,按输入的Unicode码点逐个处理。
操作
- 转移规则输入S,a,T,输入串填a,初始状态填S;每行规则按状态、字符、下一状态排列。
- 点击“开始计算”,检查读入a后状态是否从S转为T。
适用边界
只模拟确定性状态转移;同一状态与字符的重复规则会拒绝。最多200条规则、输入1万UTF-16代码单元。
状态名和初态最多50个UTF-16代码单元,输入串最多10000个。规则字段会去除首尾空白,因此空格等纯空白不能作为输入符号;初态需区分大小写并精确匹配,不加首尾空格。空输入串会原样返回初态。缺转移只显示通用错误,不标注失败位置,也不保留部分路径;没有受理状态、ε转移、非确定性分支或图形视图。
此工具无需安装,所有处理均在当前浏览器本地完成,不会上传输入内容或本地文件。