Def：设G[S]，若S * x，则称符号串x为文法G[s]的句型，仅由终结符组成的句型称为句子。当x为一个句型时，则x∈（VN，VT）*，当x为一个句子时，则x∈VT*。

即如果是一个句子，则它一定是一个句型，但如果是一个句型，未必是一个句子。

EX：文法G[S]:

S->MVD

M->小王|小张

V->是|不是

D->大学生

则文法G[S]表示的语言可定义为：

L（G）={小王是大学生，小王不是大学生，，小张是大学生，小张不是大学生}

MVD，M是D，M是大学生等均是G[S]的句型。