摘要: 确定有限自动机 对状态图进行形式化定义 确定有限自动机(Deterministic Finite Automata, DFA) M是一个五元式 M=(S, Σ, f, S 0, F),其中: S: 有穷状态集 Σ:输入字母表(有穷) f: 状态转换函数,为S×Σ→S的单值部分映射,f(s, a)=s 阅读全文
posted @ 2022-11-27 21:22 多一些不为什么的坚持 阅读(152) 评论(0) 推荐(0) 编辑