摘要：等价状态DFA上的等价状态，即两个状态的效果是等过的。假设如果有p，q两个状态，对于任意的串w，$\delta(p,w)是接受状态， 当且仅当\delta(q,w)$，则称状态p和状态q是等价状态。与等价状态相反的状态是可区分状态判定可区分状态的算法基础：如果p是接受状态，而q是非接受状态，则状态p... 阅读全文

摘要：利用子集法，可以将NFA转化为与之等价的DFA。记状态机$A$为 $$A = ( V,\sum,\delta,V_{N},V_{T} )$$$\epsilon \_CLOSURE$的求法假设我们要构造状态$I$的$\epsilon$_闭包，即$\epsilon \_CLOSURE(I)$。基础：$I... 阅读全文

摘要：有穷自动机的非形式化定义非形式化定义，即非数学语言的定义。自动机是一种抽象的机器，它有很多个状态，用圆圈来表示。状态与状态之间有箭头，箭头上有所需要的条件，也即只有满足箭头上的条件时才能从一个状态走到另一个状态。状态的目的是记住系统历史的有关部分，也即记住所输入的字符串都满足了自动机系统的哪些条件，... 阅读全文

摘要：这里说的自动机是抽象自动机，是数理语言学当中的自动机。抽象自动机是一种能够识别语言的抽象的装置，即用来识别输入串是不是某种语言中合格的句子的。具体的作用有：1.典型的编译器中的词法分析器，也即把输入串分解成token符号2.扫描文本，用来找出当中我们所需要的某种字符串。---------------... 阅读全文