词法分析器生成工具lex将它的输入程序变成一个词法分析器的转换核心是一个叫做有穷自动机(FA)的算法。
这些自动机在本质上是与状态转换图类似的图,但是有如下不同:
1,有穷自动机是识别器,它们只能对每个可能的输入串简单地回答‘yes’ or ‘no’
2,有穷自动机分为两类:
a,不确定的FA(NFA)对其边上的标号没有任何限制,一个符号离开同一状态可以有多条边,并且空串也可以作为符号
b,确定的FA(DFA)对于每个状态及FA输入字母表中的每个符号,有且仅有一条离开该状态,以该符号为标号的边
换种说法:确定性和非确定性的最大区别就是:从一个状态读入一个字符,确定性的状态机得到一个状态,而非确定性的状态机得到一个状态的集合
NFA和DFA能识别的语言的集合是相同的,事实上,这些语言的集合正好是能够用正则表达式描述的语言的集合,这个集合中的语言称做正則语言(regular language)
匹配算法DFA:http://blog.csdn.net/yejing_utopia/article/details/38691877
----未完待续