不一定是机器语言的程序。

它所产生的语言的句子不是可枚举的，而是无穷多个。

接收以单词为单位的输入。

关键是选择候选式。

在自底向上的语法分析方法中，分析的关键是寻找句柄。

从给定的输入串（终结符串）开始，根据文法的规则一步一步的向上进行直接归约，试图归约到文法的开始符号。

按文法的产生式识别输入的符号串是否为一个句子的分析过程。