二型文法
程序设计方法
二型文法,又称上下文无关文法,拥有足够强的表述力来表示绝大多数程序设计语言。
例如:C Pascal Java 。。上下文无关语言,用下推自动机识别
2型文法在1型文法的基础上,再加一条限制。简单的说就是规则左边只能都是非终结符,上下文无关文法的一个典型特征是可以递归嵌套。由2型文法的产生的语言称2型语言,识别2型语言机器对应于下推自动机。
G=(Vn, Vt, P, S)
2型文法: G的任何产生式形如A->β,其中A∈Vn,
参考资料
最新修订时间:2024-05-21 11:00
目录
概述
参考资料