GENERATION METHOD FOR AUTOMATON FOR VERIFYING VALIDITY OF XML DOCUMENT, VALIDITY VERIFYING METHOD FOR XML DOCUMENT, GENERATION SYSTEM FOR AUTOMATON FOR VERIFYING VALIDITY OF XML DOCUMENT, AND SYSTEM AND PROGRAM FOR VERIFYING VALIDITY OF XML DOCUMENT

摘要

PROBLEM TO BE SOLVED: To improve a processing speed by simplifying the processing for verifying the validity of XML (Extensible Markup Language) document. SOLUTION: A non-deterministic binary tree automaton is generated from a document type definition 7 described in hedge grammars (document type definition grammar) by a binary tree automaton generation module 1. A deterministic binary tree automaton is generated by determination module 2 and then, the deterministic binary tree automaton 8 whose transition function is minimized by a minimization module 3 is generated. The validity of the XML document 10 is verified by a validity verification module 9 using the minimized deterministic binary tree automaton 8. When the XML document 10 is normally received by the binary tree automaton 8, a verification result 11 showing the validity of the XML document 10 is outputted.