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