-
题名正规树文法的产生式相交判定
被引量:2
- 1
-
-
作者
倪晓勇
陈海明
-
机构
中国科学院软件研究所计算机科学国家重点实验室
中国科学院研究生院
-
出处
《计算机工程与设计》
CSCD
北大核心
2012年第3期1197-1202,1212,共7页
-
基金
国家自然科学基金项目(61070038)
-
文摘
在针对产生式不相交的正规树文法的XML类型检查中,需要对正规树文法的产生式进行相交判定。基于正规树文法的产生式的构成特点,提出了基于自动机的相交判定算法。根据产生式的内容模型即正则表达式,构建相应自动机,判定两个自动机的交是否为空,该算法的时间复杂度为O(‖E1‖.‖E2‖.|∑E1∪∑E2|)。实验结果表明,该算法运行正确且高效,可以应用到针对产生式不相交的正规树文法的XML类型检查中。
-
关键词
xml类型检查
正规树文法
产生式
相交判定
正则表达式
自动机
-
Keywords
xml type checking
regular tree grammar production rules intersection checking regular expressiom automata
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名基于规则推导的正规式相交判定算法
被引量:1
- 2
-
-
作者
刘嘉
廖湖声
-
机构
北京工业大学计算机学院
-
出处
《计算机科学与探索》
CSCD
北大核心
2015年第1期43-50,共8页
-
基金
北京市自然科学基金No.4082003~~
-
文摘
正规式相交判定问题在扩展标记语言(extensible markup language,XML)类型检查中起着十分重要的作用。传统方法是将其转化为自动机的相交问题,在转化过程中会产生大量计算。基于XML模式语言的特点,提出了一种基于规则推导的正规式相交判定算法。该算法直接根据输入的正规式进行推导而无需进行任何转化计算。对于一般的正规式,尽管其仍然是指数级算法,但无需进行复杂的构造自动机的计算;而对于一些特殊的正规式,特别是在XML类型检查中广泛使用的One-Unambiguous正规式,该算法的时间复杂度降为多项式级。最后证明了该算法所使用的推导规则的正确性和完备性。
-
关键词
xml类型检查
正规式
相交判定
推导规则
-
Keywords
xml type checking
regular expression
intersection checking
inference rule
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-