Generating automata for validating XML documents, and...

Details Generating automata for validating XML documents, and... Generating automata for validating XML documents, and...

2006-05-30

2006-05-30

Bashore, William (Department: 2176)

Data processing: presentation processing of document, operator i

Presentation processing of document

Layout

C707S793000

Reexamination Certificate

active

07055093

ABSTRACT:
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.

REFERENCES:
patent: 5915259 (1999-06-01), Murata
patent: 6745161 (2004-06-01), Arnold et al.
Murata Makoto, DTD Transformation by Patterns and Contextual Conditions, 1997, pp. 1-16.
Murata Makoto, Forest -regular Languages and Tree-regular Languages, 1995.

Affiliated with

Also associated with

Rating

Generating automata for validating XML documents, and... does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Generating automata for validating XML documents, and..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Generating automata for validating XML documents, and... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3623009