词法分析——有限状态自动机（FA）

举个例子 在上图中， Σ \Sigma Σ表示自动机可以识别的所有的不同的字符的集合。 Σ = a , b \Sigma = {a,b} Σ=a,b S 是状态集，在这里只有三种状态，所以 S = {0, 1, 2} q 0 q_0 q0​是初始状态，我们一般约定只有一个单向箭头的边指向的节点是起始状态。 q 0 q_0 q0​ = 0 F 是终结状态，或者说是接收状态，在图中表示为双圈。 F =

>>阅读原文<<