《计算理论导引》Regular Expressions 培训教材.pptVIP

* * Repeating DFA Paths ep79 cp48 （思想） q1 qk qj Consider an accepting DFA M with size |Q| 机器状态数 On a string of length p, p+1 states（识别某词的状态路径长度） get visited For p?|Q|, there must be a j such that the computational path looks like: q1,…,qj,…,qj,…,qk 第一个打圈的地方 前面一段没有重复 * * Repeating DFA Paths ep79 cp47 （思想） q1 qk qj The action of the DFA in qj is always the same. If we repeat (or ignore) the qj,…,qj part, the newpath will again be an accepting path 不确定自动机，多路并行打圈， 语无伦次 即 不确定 * * 定理需要 ”足够长的串“ ，有实例吗？ DNA序列 字母表上∑＝{ G, C, A ,T} 人类最短的18号染色体 C18 in ∑* 长度 |C18| ~ 4.2×106 * * P