这里会显示出您选择的修订版和当前版本之间的差别。
两侧同时换到之前的修订记录 前一修订版 后一修订版 | 前一修订版 | ||
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} | + | |
$$ | $$ | ||