论文部分内容阅读
XML已经成为Web环境中数据表示和交换的标准。XML的模式验证在XML的使用中地位重要。DTD作为模式描述的一种方法，应用广泛，但使用DTD描述的模式不能正常表示同构的XML数据。文章扩展了DTD并提出了一种基于自动机的模式验证方法，将扩展的DTD中每个元素转换为一个自动机，将XML文档编码为字符串，并将字符串作为自动机的输入进行验证，可以有效地验证同构的XML。