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