●项目:假设αBP是一个正则式,则我们称形 如a[P的表示为项目,其中P是正则式编号。 其中黑点可出现于任何位置上 ●项目集:用S表示 S Sub ltems(IS, X= aXB[P]|aXβ[P]∈|S,X∈ SymbSet 简记为|S⚫ 项目：假设[P]是一个正则式，则我们称形 如•[P]的表示为项目，其中P是正则式编号。 其中黑点可出现于任何位置上。 ⚫ 项目集：用IS表示 ⚫ IS(X) ： SubItems(IS,X)= {X•[P]|•X[P]IS,XSymbSet} 简记为IS(X)