---

在进行
XML
文法分析之前，首先有必要了解
XML
语法的基本规则：
　　词法特征：1）
XML
区分大小写，如元素名在打开和关闭标记中应保持大小写一致<mytag>…</mytag>，
XML
的保留词串应符合大小写要求<?xml …> <!ENTITY>…。
　　2）
XML
保留标记字符为：< > &;amp;，保留字符不允许出现在元素名、元素文本、属性名、属性值中，< 用户打开标记，>用于关闭标记，&;amp;用于转意，常见的转意为 &;amp;lt生成<，&;amp;gt生成>，&;amp;amp生成&;amp;，&;amp;apos生成’，&;amp;quot生成”
　　3）元素名以下划线或字母开始，可包含字母、数字、句点、连字符、下划线、冒号和用于其他语言的扩展字符，元素名中不能有空格符（分格符、跳格符、换行符、回车符），元素名可以由名域前缀。如：<mytag> <dt:mytag> 元素文本可以是除
XML
保留字符外的字符集合，如<mytag> my money is $2000 </mytag>
　　4）属性名的规则同元素名，属性值由单引号或双引号括约其中，可由除
XML
保留字符以外的字符串组成，如：<mytag myprop=”proper value”>。属性名有xmlns前缀，表明该属性定义了一个名域，如：<mytag xmlns:ns=”http://www.myweb.com/myschema”>
　　句法特征：1）
XML
文档由一个
XML
说明、多个可选的文档说明、多个可选的
XML
指令、多个可选的
XML
注释和一个根元素的数据体组成，此外还可以有嵌入语句中的CDATA段，如：

　　<?xml …?> /*
XML
说明*/
　　<!DOCTYPE …> /*
XML
文档说明*/
　　<!-- … --> /*
XML
注释*/
　　<?xml-stylesheet …?> /*
XML
指令*/
　　<root> /*根数据元素*/
　　<child>
　　…<![CDATA[…]]>
　　</child>
　　</root>
　　2）
XML
说明由<?xml打开，由?>标关闭，其中包含版本、编码等可选说明，如：<?xml version=”1.0” encoding=”UTF-9”?>
　　3）
XML
文档说明由<!和保留串打开，由>关闭，如：<!DOCTYPE mydoc SYSTEM “mydoc.dtd”>
　　4)
XML
指令由<?和保留串打开，由?>关闭，如：<?xml-stylesheet type=”text/xsl” href=”mystyle.xsl”?>
　　5）
XML
注释由<!——打开，由——>关闭，如：<!-- this is my xml document -->
　　6）
XML
元素由<元素名>打开，由/>，或</元素名>关闭，元素的打开和关闭标记相互匹配，如<myteg ../>或<mytag>…</myteg>，
XML
的元素允许嵌套，应此还应保持层次上的匹配，如<myteg><subtag>..</subtag></mytag>。
　　7）CDTATA段由<![CDATA[>打开，由]]>关闭，用于使居于其中的语句规避
XML
解析规则。如：<![CDATA[ select * from mytable where thefield <= ‘100’ ]]>
　　根据以上的
XML
文法特征，可以构造出用于词法分析的正则式和用于句法分析的下推自动机结构。
　　
XML
词法正则式：
　　#define digit [1,2,…,9] /*数字字符*/
　　#define letter [a,b,…,z,A,B,…,Z] /*字母字符*/
　　#define signs [", ! , @, #, %, ^, &;amp;,*,(, ), ?, :, ;, “, ‘, ,, ., /,-, _, , =, │, \] /*符号字符*/
　　#define ascii2 [0x80,…,0xFF] /*ASCII chart2 扩展字符*/
　　#define space [0x20, \t, \r, \n] /*空格符，跳格符，回车符，换行符*/
　　#define reserve [< , >, &;amp;] /*
XML
保留字符*/
　　1） 元素名的正则式：
　　element_name -> (_ │ letter │ ascii2) (&;#60796; _ │ - │ : │ . │ digit │ letter │ signs │ ascii2)*
　　2） 元素文本的正则式：
　　element_text -> (&;#60796; not reserve)*
　　3） 属性名的正则式：
　　proper_name -> (_ │ letter │ ascii2) (&;#60796; _ │ - │ : │ . │ digit │ letter │ signs │ ascii2)*
　　4） 属性文本的正则式：
　　proper_value -> (&;#60796; not reserve)*
[color=#FFFFFF'][/color]