（1）程序第一个语句
（2）能由条件转移语句或无条件转移语句转移到的语句
（3）紧跟在条件转移语句后面的语句。

素短语是指这样一个短语，至少含有一个终结符，并且，除它自身外不再含任何更小的素短语。

在词法分析过程中，有时为了确定词性，需超前扫描若干个字符。

执行词法分析的程序。

由规范推导所得到的句型。