上下文无关文法的语言设CFGG.PPT

句型 (sentential forms) 设 CFG G = (VN, VT, P , S )，称 ??(VN?VT)* 为 G 的一个句型，当且仅当 S ? ?. 若 S ? ? ，则 ? 是一个左句型; 若 S ? ? ，则 ? 是一个右句型. 若句型 ?? VT* ，则称 ? 为一个句子（sentence）. ? lm rm ? ? 上下文无关语言及其描述 上下文无关文法的语言 设 CFG G = (VN, VT , P , S )，定义 G 的语言为 L(G) = { w ?w?VT*? S ? w } G ? 上下文无关语言（context-free languages） 如果一个语言 L 是某个 CFG G 的语言，即 L(G) = L， 则L是上下文无关语言. 上下文无关语言及其描述 文法与语言的 Chomsky 分类方法 文法（grammar）是一个四元组 G = (VN, VT, P , S )， VN、VT、P 及 S 的含义如前. Chomsky 通过对产生式施加不同的限制，把文法 及其对应的语言分