编译原理 —— 语言的定义

语言的形式化定义 文法和语言之间的联系 给定一个文法，就能从结构上惟一地肯定其语言，即 G → L(G)html 给定一种语言，能肯定其文法，但这种文法不是惟一的，即 L → G 1 L → G_1 L→G1​ 或 G 2 G_2 G2​ 或…或 G n G_n Gn​web 句子和句型 举例： app 推导和规约 推导：用产生式的右部替换产生式的左部 （生成语言）svg 规约：用产生式的左部替换

>>阅读原文<<