一般片语结构文法G之定义为：G＝（T,N,P,S）
其中，T是被定义为语言中字词或符号之终点符的全部集合；N是非终点符的集合，这些符号专为描述语法而使用，但不能出现在最终生成的句子中；P为重写规则集合，其中每条规则都具有a→b的形式，可用符号串b置换符号串a；S是起始符，为集合N中的特殊成员。