<span id="erhq0"></span>
出現(xiàn)在文法產(chǎn)生式的右部且不能派生出符號或符號串的那些符號稱為終結符號。
設G是一個給定的文法，S是文法的開始符號，如果Sx（其中x∈V*），則稱x是文法的一個句型。
