句柄:
“句柄”是和其某个产生体匹配的子串,对它的归纳代表了相应的最右推导中的一个反向步骤。
如果有S=>aAw=>aBw
那么A->B是aBw的一个句柄。
增广文法:G是以S为开始符号的文法,则G的曾广文法是G中加上S’->S而得到的文法。
项集的闭包: I是文法G的一个项集,那么CLOSURE(I)的构造方式为:
- 将I中的各项加入到CLOSURE(I)中。
- 如果A->α·Bβ在CLOSURE(I)中,B->r是一个产生式,并且B->·r不在CLOSURE(I)中,则将该项加入其中。
内核项: 包括S’->·S以及点不在最左端的所有项。
非内核项: 除了S’->·S之外所有点在最左端的项。