1、终结符和非终结符概念
终结符，通俗的说就是不能单独出现在推导式左边的符号，也就是说终结符不能再进行推导。不是终结符的都是非终结符。非终结符可理解为一个可拆分元素，而终结符是不可拆分的最小元素。如：有α → β ，则α 必然是个非终结符。一般书上把非终结符用大写字母表示，而终结符用小写字母表示。识别符号就是开始符。由文法产生语言句子的基本思想是：从识别符号开始，把当前产生的符号串中的非终结符号替换为相应规则右部的符号串，直到最终全由终结符号组成。这种替换过程称为推导或产生句子的过程，每一步成为直接推导或直接产生。
例如：
有文法G2[S]为：
S->Ap
S->Bq
A->a
A->cA
B->b
B->dB
则表示：S 为开始符，S，A，B 为非终结符，而p,q,a,b,c,d 为终结符