用户工具

站点工具


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

差别

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

到此差别页面的链接

两侧同时换到之前的修订记录 前一修订版
后一修订版
前一修订版
2020-2021:teams:legal_string:各季度训练计划及训练记录:ac_自动机_lgwza [2020/07/29 11:12]
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)$。
行 319: 行 319:
  
 $$ $$
-trans_{i,​c}= +trans_{i,​c}=\begin{cases}i+1,&​\text{if $b_{i}=c$}\\[2ex]\text{trans}_{next_{i},​c},&​\text{else}\end{cases}
-\begin{cases} +
-i+1,&​\text{if $b_{i}=c$}\\ +
-[2ex]\text{trans}_{next_{i},​c},&​\text{else} +
-\end{cases}+
 $$ $$
  
2020-2021/teams/legal_string/各季度训练计划及训练记录/ac_自动机_lgwza.1595992325.txt.gz · 最后更改: 2020/07/29 11:12 由 lgwza