形式文法 : 数理语言学用于生成语言的文法。形式文法是数目有限的规则的集合，这些规则可生成语言中的合格句子，并排除语言中的不合格句子。形式文法符号为 G，文法所生成的语言符号为L(G)。 定义 美国语言..
