摘要
在格值逻辑框架下给出上下文无关文法及上下文无关语言的概念,给出格值逻辑意义下广义的格值子集构造方法,并证明了任一与除一步推导为格值以外,其余推导都是经典推导的之间的相互等价性。
The paper successfully provides the notion of orthomodular lattice-valued context-free grammar（abbr.） and lattice-valued context-free languages,and also investigates the algebraic properties of this grammar,and introduces the generalized lattice-valued subset-constructure.By using such means,we establish that an arbitrary and with one crisp start symbol,which is mutually equivalently constructed in the mean time.
出处
《榆林学院学报》
2011年第4期34-36,共3页
Journal of Yulin University
关键词
格值逻辑
格值上下文无关文法
格值上下文无关语言
lattice-valued logic
lattice-valued context-free grammar
lattice-valued context-free languages
