LR0转移图的计算
先计算处带空转换的NFA,再根据NFA计算DFA,例如文法:
E* -> E (拓广文法)
E -> E + E | ( E ) | id
计算的过程如下:
(1)为每个非终结符独立地计算转移图,得到核心项目集,计算过程中遇到形如E -> a . F a的项目时,不将从F起的项目加如项目集。上图就是计算得到的核心项目集。
(2)根据核心项目集得到NFA,每个核心项目集对应NFA中一个状态。
(3)给NFA添加空转换,检查每个状态,如果状态s1中有形如E -> a . F b的项目(其中a、b可以为空),非终结符F的第一个状态为s2,则添加s1到s2的空转换。例如上图state 5中有项目E -> E + . E,并且E的第一个状态为state 3,则