期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
正规树文法的产生式相交判定 被引量:2
1
作者 倪晓勇 陈海明 《计算机工程与设计》 CSCD 北大核心 2012年第3期1197-1202,1212,共7页
在针对产生式不相交的正规树文法的XML类型检查中,需要对正规树文法的产生式进行相交判定。基于正规树文法的产生式的构成特点,提出了基于自动机的相交判定算法。根据产生式的内容模型即正则表达式,构建相应自动机,判定两个自动机的交... 在针对产生式不相交的正规树文法的XML类型检查中,需要对正规树文法的产生式进行相交判定。基于正规树文法的产生式的构成特点,提出了基于自动机的相交判定算法。根据产生式的内容模型即正则表达式,构建相应自动机,判定两个自动机的交是否为空,该算法的时间复杂度为O(‖E1‖.‖E2‖.|∑E1∪∑E2|)。实验结果表明,该算法运行正确且高效,可以应用到针对产生式不相交的正规树文法的XML类型检查中。 展开更多
关键词 xml类型检查 正规树文法 产生式 相交判定 正则表达式 自动机
在线阅读 下载PDF
基于规则推导的正规式相交判定算法 被引量:1
2
作者 刘嘉 廖湖声 《计算机科学与探索》 CSCD 北大核心 2015年第1期43-50,共8页
正规式相交判定问题在扩展标记语言(extensible markup language,XML)类型检查中起着十分重要的作用。传统方法是将其转化为自动机的相交问题,在转化过程中会产生大量计算。基于XML模式语言的特点,提出了一种基于规则推导的正规式相交... 正规式相交判定问题在扩展标记语言(extensible markup language,XML)类型检查中起着十分重要的作用。传统方法是将其转化为自动机的相交问题,在转化过程中会产生大量计算。基于XML模式语言的特点,提出了一种基于规则推导的正规式相交判定算法。该算法直接根据输入的正规式进行推导而无需进行任何转化计算。对于一般的正规式,尽管其仍然是指数级算法,但无需进行复杂的构造自动机的计算;而对于一些特殊的正规式,特别是在XML类型检查中广泛使用的One-Unambiguous正规式,该算法的时间复杂度降为多项式级。最后证明了该算法所使用的推导规则的正确性和完备性。 展开更多
关键词 xml类型检查 正规式 相交判定 推导规则
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部