1、字母表：一个有穷符号集合 例如：二进制字母表、ASCII 字符集 Unicode字符集 字母表上的运算：乘积、n次幂。 正闭包（字母表的幂运算）：（E表示字母表）
克林闭包（任意符号串构成的集合）（字母表幂运算）：
2、串：字母表中符号的一个有穷序列。或者说克林闭包中的一个串。 串的长度：串中符号的个数。 串的幂运算。
G=(VT,VN,P,S)
VT : 终结符（terminal symbol）集合： 文法定义的语言的基本符号。例如：VT =｛apple，boy，eat，little｝
VN : 非终结符集合 用来表示语法成分的符号。例如：VN ={<句子>，<名词短语>，<动词短语>，…} P :产生式集合：（产生式就是产生串的式子） 产生式描述了将终结符和非终结符组合成串的方法。 产生式的一般形式： VT 、VN 是字母表 例如： P={<句子> -> <名词短语><动词短语>， <名词短语> -><形容词><名词短语>， } S : 开始符号 例如：S=<句子> 产生式的简写： 4、符号约定： 下述符号是终结符： 字母表中排在前面的小写字母：a、b、c 运算符（±*/） 标点符号 数字 粗体字符串（id或if） 下述符号是非终结符： 字母表中排在前面的大写字母：A、B、C 字母S 小写、斜体的名字，如expr、stmt等 代表程序构造的大写字母。如E、T、F 文法符号（终结符或非终结符）：X、Y、Z 终结符号串：u、v，…z 文法符号串：小写希腊字母
