well-formedness
1.Based on analyzing of syntax deduction of XML productions in detail, we carry through the design of a pushdown automaton. Then we lay out the design of the StAXParser and describe the design and implementation of the components, achieving the goal of checking XML documents for well-formedness.

