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