状态 转换 集合 确定 自动机

状态 转换 自动机