首页> 外国专利> Generating automata for validating XML documents, and validating XML documents

Generating automata for validating XML documents, and validating XML documents

机译：生成用于验证XML文档和验证XML文档的自动机

页面导航

摘要
著录项
相似文献

摘要

Provides method and systems to simplify processing and improve processing speed for validation of an XML document. In an example embodiment, a non-deterministic automaton is generated by a binary tree automaton generation module from a document type definition described by hedge grammar. Furthermore, a deterministic binary tree automaton is generated by a determination module, and a deterministic binary tree automaton of which transition function δ is minimized by a minimization module is generated. This minimum deterministic binary tree automaton is used to validate an XML document with a validation module. When the XML document is normally accepted by the binary tree automaton, validation results wherein the XML document is reasonable are outputted.

机译：提供方法和系统以简化处理并提高处理速度，以验证XML文档。在示例实施例中，由二叉树自动机生成模块从树篱语法描述的文档类型定义中生成非确定性自动机。此外，确定模块生成确定性二叉树自动机，并且生成最小化转换函数δ最小化的确定性二叉树自动机。此最小确定性二叉树自动机用于通过验证模块来验证XML文档。当二叉树自动机通常接受XML文档时，输出XML文档合理的验证结果。

著录项

公开/公告号US7055093B2

专利类型
公开/公告日2006-05-30

原文格式PDF
申请/专利权人 AKIHIKO TOZAWA;MAKOTO MURATA;
展开▼

申请/专利号US20020219614
发明设计人 AKIHIKO TOZAWA;MAKOTO MURATA;
展开▼

申请日2002-08-15
分类号G06K9/36;
国家 US
入库时间 2022-08-21 21:41:23

相似文献

专利
外文文献
中文文献