基本表示
其中正闭包就是一个字母表中所有次幂(从1开始)构成的集合,也就是克林闭包少了0次幂(空集
ϵ
\epsilon
ϵ)的形式。
终结符与非终结符
- 终结符:文法所定义语言的基本符号,也称token,例如 V T = { a p p l e , b o y , e a t , l i t t l e } V_T=\{apple,boy,eat,little\} VT={apple,boy,eat,little}
- 非终结符(语法变量):用来表示语法成分,
例如 V N = { < 句 子 > , < 名 词 短 语 > , < 动 词 短 语 > . . . } V_N=\{<句子>,<名词短语>,<动词短语>...\} VN={<句子>,<名词短语>,<动词短语>...}
终结符的符号约定