用户工具

站点工具


2020-2021:teams:legal_string:各季度训练计划及训练记录:ac_自动机_lgwza

差别

这里会显示出您选择的修订版和当前版本之间的差别。

到此差别页面的链接

两侧同时换到之前的修订记录 前一修订版
2020-2021:teams:legal_string:各季度训练计划及训练记录:ac_自动机_lgwza [2020/07/29 11:16]
lgwza [KMP 自动机]
2020-2021:teams:legal_string:各季度训练计划及训练记录:ac_自动机_lgwza [2020/07/29 11:17] (当前版本)
lgwza [确定有限状态自动机]
行 308: 行 308:
   - 状态转移函数 $\delta:​Q\times\sum\rightarrow Q$,即 $\delta(q,​\sigma)=q',​q,​q'​\in Q,​\sigma\in\sum$;   - 状态转移函数 $\delta:​Q\times\sum\rightarrow Q$,即 $\delta(q,​\sigma)=q',​q,​q'​\in Q,​\sigma\in\sum$;
   - 一个开始状态 $s\in Q$;   - 一个开始状态 $s\in Q$;
-  - 一个接收的状态集合 $F\sube Q$。+  - 一个接收的状态集合 $F\subseteq ​Q$。
  
 组成的五元组 $(Q,​\sum,​\delta,​s,​F)$。 组成的五元组 $(Q,​\sum,​\delta,​s,​F)$。
2020-2021/teams/legal_string/各季度训练计划及训练记录/ac_自动机_lgwza.1595992606.txt.gz · 最后更改: 2020/07/29 11:16 由 lgwza