XML句法结构：
xml_document -> xml_header (ε| xml_declare | xml_instruct | xml_comments)* xml_element
xml_header -> [<?xml](space)*(proper_token)*(space)* [?>]
xml_declare -> [<!]reserve_word(space)*(token)*(space)*[>]
xml_instruct -> [<?]reserve_word(space)* (proper_token)* (space)*[?>]
xml_comments -> [<!--](ε| digit | letter | signs | ascii2 | space)*[-- >]
xml_element -> [<]element_name (space)*( ε| proper_token)*(space)*[/>] |
[<]element_name(space)*( ε | proper_token)*(space)*[>]
[ε| <![CDATA[ ]element_text[ε| ]]>]
(ε | xml_element)*(space)*[</]element_name[>]
proper_token -> proper_name(space)*[=](space)* [ε| <![CDATA[ ] [‘ | “]proper_value[‘ | “] [ε| ]]>]
reserve_word -> [DOCTYPE | ELEMENT | NOTATION | …]
token -> (ε| not reserve)*
分析XML文法需要构造一个下推自动机，它的结构定义如下：
1）STACK_DFA mata_xml_doc = <Q,Σ，σ，q,Γ,T,S >
Q: {…} /*详见后面的状态集合*/
Σ: /*指向待解析的XML元素词串*/
σ: Q×Σ->Q /*状态转移函数，见状态转移列表*/
q: {NIL_SKIP} /*初始状态*/
Γ: {NIL_FAILED,NIL_SUCCEED} /*终结状态集合*/
S: {Q/*状态*/, N/*DOM节点*/>,<…>} /*下推栈*/
2）栈顶符集合用于反映当前分析节点的类型：
T：{NIL/*空*/, TG/*标记*/, NS/*元素*/, IS/*指令*/, DS/*声明*/, CD/*CDATA界段*/,CM/*注释*/}
3）状态集合反映了分析的某一阶段特征，与栈顶符对应：
NIL: NIL_FAILED /*失败*/
NIL_SKIP /*忽略*/
NIL_SUCCEED /*成功*/
CM: CM_BEGIN /*注释开始*/
CM_END /*注释结束*/
TG: TG_OPEN /*标记打开*/
TG_INT_CLOSE /*标记中断*/
TG_PRE_CLOSE /*标记准备关闭*/
TG_CLOSE /*标记关闭*/
NS: NS_NAME_BEGIN /*元素名开始*/
NS_NAME_END /*元素名结束*/
NS_KEY_BEGIN /*属性名开始*/
NS_KEY_END /*属性名结束*/
NS_ASIGN /*属性赋值*/
NS_VAL_BEGIN /*属性值开始*/
NS_VAL_END /*属性值结束*/
NS_TEXT_BEGIN /*元素文本开始*/
NS_TEXT_END /*元素文本结束*/
IS: IS_OPEN /*指令打开*/
IS_NAME_BEGIN /*指令名开始*/
IS_NAME_END /*指令名结束*/
IS_KEY_BEGIN /*指令键开始*/
IS_KEY_END /*指令键结束*/
IS_ASIGN /*赋值符*/
IS_VAL_BEGIN /*指令值开始*/
IS_VAL_END /*指令值结束*/
IS_CLOSE /*指令关闭*/
DS: DS_OPEN /*声明打开*/
DS_SKIP /*越过申明节*/
DS_CLOSE /*声明关闭*/
CD: CD_BEGIN /*CDATA界段开始*/
CD_END /*CDATA界段结束*/
4）栈顶动作：PUSH: 将当前节点和状态压入栈
POP：出栈并恢复当前节点和状态
NOP：无栈操作
5）读写头动作：NEXT: 移动至下一字符
SKIP: 越过转义串或保留名串
PAUSE: 暂定于当前字符
STOP：停机于当前字符
6）状态转移列表：
说明： space 指符合空格定义的字符
name 指符合命名定义的字符
namepre 指符合命名的第一个字符
token 指除去保留字符外字符
other 指除去已判断以外的字符
（状态）输入符（栈操作，状态，读写头动作）
(NOP,NIL_SKIP,NEXT)/*初始化*/
(NIL_SKIP)
space (NOP,NIL_SKIP,NEXT) /*忽略起始空格*/
