摘要
XML的发展,引发了人们对于文档和形式语言之间关系的研究,树自动机理论重新引起了研究者们的高度重视。介绍了树自动机的概念、类型及处理方式,讨论了树自动机在XML中的应用,以XML文档有效性检验为例,实现了一个XML文档DTD树自动机,实验结果表明树自动机理论能够有效地处理XML文档。
The advent of XML initiated a symbiosis between document research and formal languages. This symbiosis resulted in the development ofunranked tree automata. The concepts and processed models of tree automata arc introduced, and the focused applications in XML research are discussed. Then a system based on tree automata for checking the validation of XML document is also presented. Experimental results show that tree automata can serve XML research efficiency.
出处
《燕山大学学报》
CAS
2006年第6期530-533,共4页
Journal of Yanshan University