检索结果-内蒙古大学图书馆

计算机科学与探索 2015年第1期9卷 43-50页

作者：刘嘉廖湖声北京工业大学计算机学院北京100124

正规式相交判定问题在扩展标记语言(extensible markup language,xml)类型检查中起着十分重要的作用。传统方法是将其转化为自动机的相交问题,在转化过程中会产生大量计算。基于xml模式语言的特点,提出了一种基于规则推导的正规式相交... 详细信息

正规式相交判定问题在扩展标记语言(extensible markup language,xml)类型检查中起着十分重要的作用。传统方法是将其转化为自动机的相交问题,在转化过程中会产生大量计算。基于xml模式语言的特点,提出了一种基于规则推导的正规式相交判定算法。该算法直接根据输入的正规式进行推导而无需进行任何转化计算。对于一般的正规式,尽管其仍然是指数级算法,但无需进行复杂的构造自动机的计算;而对于一些特殊的正规式,特别是在xml类型检查中广泛使用的One-Unambiguous正规式,该算法的时间复杂度降为多项式级。最后证明了该算法所使用的推导规则的正确性和完备性。

关键词： xml类型检查正规式相交判定推导规则

来源：评论

学校读者我要写书评

暂无评论

正规树文法的产生式相交判定

引用

计算机工程与设计 2012年第3期33卷 1197-1202,1212页

作者：倪晓勇陈海明中国科学院软件研究所计算机科学国家重点实验室北京100190 中国科学院研究生院北京100049

在针对产生式不相交的正规树文法的xml类型检查中,需要对正规树文法的产生式进行相交判定。基于正规树文法的产生式的构成特点,提出了基于自动机的相交判定算法。根据产生式的内容模型即正则表达式,构建相应自动机,判定两个自动机的交... 详细信息

在针对产生式不相交的正规树文法的xml类型检查中,需要对正规树文法的产生式进行相交判定。基于正规树文法的产生式的构成特点,提出了基于自动机的相交判定算法。根据产生式的内容模型即正则表达式,构建相应自动机,判定两个自动机的交是否为空,该算法的时间复杂度为O(‖E1‖.‖E2‖.|∑E1∪∑E2|)。实验结果表明,该算法运行正确且高效,可以应用到针对产生式不相交的正规树文法的xml类型检查中。

关键词： xml类型检查正规树文法产生式相交判定正则表达式自动机

来源：评论

学校读者我要写书评

暂无评论

类型检查中的正则表达式相交判定与包含判定

类型检查中的正则表达式相交判定与包含判定

引用

作者：倪晓勇中国科学院研究生院

学位级别：硕士

xml由于简单灵活和良好的可扩展性,在网络服务、关系数据库以及形式化研究等领域得到了应用。随着xml处理技术的不断发展,近期的研究表明静态类型化处理方式在xml处理时具有重要的优势。在静态类型化系统中,xml的模式语言被当作程序的... 详细信息

xml由于简单灵活和良好的可扩展性,在网络服务、关系数据库以及形式化研究等领域得到了应用。随着xml处理技术的不断发展,近期的研究表明静态类型化处理方式在xml处理时具有重要的优势。在静态类型化系统中,xml的模式语言被当作程序的基本类型,在编译时静态地检查子类型关系,以确保程序运行时的类型安全。在很多情况下,xml类型检查与xml模式语言中的正则表达式的包含判定有很大的联系。\n 在针对产生式不相交的正规树文法的xml类型检查中,需要对正规树文法的产生式进行相交判定。基于正规树文法的产生式的构成特点,本文提出了基于自动机的产生式相交判定算法。根据产生式的内容模型即正则表达式,构建相应自动机,然后判定两个自动机的交是否为空,算法的时间复杂度为O(‖E1‖·‖E2‖·｜∑E1∪∑E2｜)。实验数据表明,该算法是可行的,可以应用到针对产生式不相交的正规树文法的xml类型检查中。\n 本文还研究了正则表达式的包含判定算法。正则表达式的包含判定是xml类型检查中的一个重要问题,目前主要有基于自动机(DFA)、基于正则表达式推导、基于正则表达式Header-form推导等三种算法。其中,前两种算法主要针对的是one-unambiguous正则表达式,第三种算法则可以针对普通的正则表达式,只是在某些情况下,该算法无法对某些非one—ambiguous正则表达式进行包含判定,这时该算法会报告此问题。本文实现了以上三种算法,并通过实验对比分析了三种算法的实际运行效率,在此基础上,本文针对正则表达式的包含判定问题,提出了一个综合的包含判定算法。该综合算法可以针对普通的正则表达式进行包含判定,并且针对输入的正则表达式的部分子集,采用了实际运行效率更高的包含判定算法(上述三种算法之一),因而在一定程度上提高了算法的整体运行效率。本文同时实现了该综合算法,且通过的相应的实验证明了该综合算法的可行性。

关键词： xml类型检查正规树文法正则表达式相交判定算法包含判定算法

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：