记号类型

记号通常定义为枚举类型的逻辑项。例如，记号在C 中可被定义为：

在一种没有列举类型的语言中，则只能将记号直接定义为符号数值。

记号有若干种类型，这其中包括了保留字（reserved word），如I F 和THEN ，它们表示字符串“ if ”和“ then ”；第2 类是特殊符号（special symbol），如算术符号加（PLUS）和减（MINUS），它们表示字符“+”和“-”。第3 类是表示多字符串的记号，如NUM 和ID ，它们分别表示数字和标识符。作为逻辑项的记号必须与它们所表示的字符串完全区分开来。例如：保留字记号IF 须与它表示的两个字符“ if ”的串相区别。为了使这个区别更明显，由记号表示的字符串有时称作它的串值（string value ）或它的词义（lexeme）。某些记号只有一个词义：保留字就具有这个特性。但记号还可能表示无限多个语义。例如标识符全由单个记号ID表示，然而标识符有许多不同的串值来表示它们的单个名字。因为编译器必须掌握它们在符号表中的情况，所以不能忽略这些名字。因此，扫描程序也需用至少一些记号来构造串值。任何与记号相关的值都是记号的属性（attribute），而串值就是属性的示例。记号还可有其他的属性。