确定型语言的相关研究综述

随着互联网应用的不断普及，XML(可扩展标记语言)在数据库、数据传输等方面的作用也越来越大。一般而 言，XML 文档的结构都是由 XML 模式语言来定义，比如 DTD 和 XML Schema。文章主要对 DTD 和 XML Schema 的内 容模式约束，即确定型正则表达式进行研究，分别详细介绍确定型表达式、确定型语言、及相关问题的研究现状。文章 首先给出确定型表达式的定义及相关概念。接着，介绍几种确定型表达式的判定算法。然后，分析确定型语言的判定、 对应确定型表达式的生成、及近似确定型表达式的生成等问题。 文章最后还列举一些其他相关问题的研究。

Review on Deterministic Languages

With the development of network applications, XML has become more and more important. In general, the structures of XML documents are specified by schema languages, e.g., DTD and XML Schema. In this paper, the definition of deterministic regular expressions was introduced and an overview of current research was provided. At first, the definition of deterministic regular expressions and some relative notations were given. Next, some algorithms checking determinism of regular expressions were presented in details. Then, some results about deciding, learning, approximating deterministic languages were shown. Finally, some other relative topics were discussed.