Flex词法分析器NFA到DFA的转换

Question

最近在学习Flex词法分析器(flex-2.6.0版本)，我使用如下简单的 .l文件来跟踪代码的执行，研究DFA转换表的构造过程

...
    %%
    
    [aeiou]+ {printf("aeiou");}
    ^r {printf("^r");}
    
    %%
...

在看到ntod函数(NFA到DFA的转换)之前，各个等价类的创建过程都清楚，但是我看不明白sympartition和symfollowset函数的具体实现细节。在这之前已经得到起始状态的epsilon闭包，我知道这两个函数肯定是为了得到之后状态的epsilon闭包，但是我不清楚其中实现的意思，能否详细解释一下这两个函数呢？

上述的 .l文件创建了3个等价类: aeiou, r 和 . sympatition中的ccltbl已经是其等价类的下标了，那用mkeccl得到的duplist是用来做什么呢？ duplist[sym] == NIL为什么代表有唯一的out-transition呢？

上述.l 文件的NFA的状态如下

********** beginning dump of nfa with start state 11
state #    1    257:     0,    0
state #    2    257:     0,    0
state #    3     -1:     4,    0
state #    4    257:     3,    0  [1]
state #    5    257:     1,    3
state #    6    114:     7,    0
state #    7    257:     0,    0  [2]
state #    8    257:     2,    6
state #    9     -2:    10,    0
state #   10    257:     0,    0  [3]
state #   11    257:     5,    9
********** end of dump

Answer 1

你好，我是有问必答小助手，非常抱歉，本次您提出的有问必答问题，技术专家团超时未为您做出解答


本次提问扣除的有问必答次数，已经为您补发到账户，我们后续会持续优化，扩大我们的服务范围，为您带来更好地服务。