推导可交换上下文无关语言
提出了推导可交换上下文无关语言及其文法,证明了正规语言类和有界上下文无关语言类都是推导可交换上下文无关语言类的子集,而推导可交换上下文无关语言类是上下文无关语言类的一个子集;定义了该类语言的α闭包等有关运算,给出了推导可交换上下文无关语言表达式,证明了推导可交换上下文无关文法、推导可交换上下文无关语言表达式之间的等价转换.
推导可交换上下文无关语言、文法、语言表达式
29
TP301.2(计算技术、计算机技术)
国家自然科学基金60673053
2008-05-14(万方平台首次上网日期,不代表论文的发表时间)
共5页
368-372