-
题名推导可交换上下文无关语言
被引量:1
- 1
-
-
作者
张继军
吴哲辉
-
机构
山东农业大学信息学院
山东科技大学信息学院
-
出处
《小型微型计算机系统》
CSCD
北大核心
2008年第2期368-372,共5页
-
基金
国家自然科学基金项目(60673053)资助.
-
文摘
提出了推导可交换上下文无关语言及其文法,证明了正规语言类和有界上下文无关语言类都是推导可交换上下文无关语言类的子集,而推导可交换上下文无关语言类是上下文无关语言类的一个子集;定义了该类语言的α闭包等有关运算,给出了推导可交换上下文无关语言表达式,证明了推导可交换上下文无关文法、推导可交换上下文无关语言表达式之间的等价转换.
-
关键词
推导可交换上下文无关语言
文法
语言表达式
-
Keywords
commutative derivation context-free language
grammar
language expression
-
分类号
TP301.2
[自动化与计算机技术—计算机系统结构]
-
-
题名可交换上下文无关文法
被引量:2
- 2
-
-
作者
张继军
吴哲辉
-
机构
山东农业大学信息学院
山东科技大学信息学院
-
出处
《计算机科学》
CSCD
北大核心
2007年第7期254-256,共3页
-
文摘
本文提出了可交换上下文无关文法及其该文法产生的语言——可交换上下文无关语言,证明了正规语言类是可交换上下文无关语言类的一个子集,而可交换上下文无关语言类是上下文无关语言类的一个子集;讨论了可交换上下文无关语言的结构特点,并给出了可交换上下文无关语言的Pumping引理。
-
关键词
可交换上下文无关文法
可交换上下文无关语言
Pumping引理
-
Keywords
Commutative context-free grammar,Commutative context-free language,Pumping lemma
-
分类号
TP301.2
[自动化与计算机技术—计算机系统结构]
-