大家好，小活来为大家解答以上的问题。cfg，关于cfg的介绍很多人还不知道，现在让我们一起来看看吧！
1、在计算机科学中，形式语言是：某个字母表上，一些有限长字串的集合，而形式文法是描述这个集合的一种方法。
2、形式文法之所以这样命名，是因为它与人类自然语言中的文法相似的缘故。
3、形式文法描述形式语言的基本想法是，从一个特殊的初始符号出发，不断的应用一些产生式规则，从而生成出一个字串的集合。
4、产生式规则指定了某些符号组合如何被另外一些符号组合替换。
5、最常见的文法的分类系统是诺姆·乔姆斯基于1956年发展的乔姆斯基谱系，这个分类谱系把所有的文法分成四种类型：无限制文法、上下文相关文法、上下文无关文法和正规文法。
6、四类文法对应的语言类分别是递归可枚举语言、上下文相关语言、上下文无关语言和正规语言。
本文到此结束，希望对大家有所帮助。