出現(xiàn)在文法產(chǎn)生式的右部且不能派生出符號或符號串的那些符號稱為終結(jié)符號。
設(shè)G是一個給定的文法,S是文法的開始符號,如果Sx(其中x∈V*),則稱x是文法的一個句型。