Generating automata for validating XML documents, and validating XML documents

摘要

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 delta 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.