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

Review on Deterministic Languages

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

With the development of network applications, XML has become more and more important. In general, the structures of XML documents are speciifed by schema languages, e.g., DTD and XML Schema. In this paper, the deifnition of deterministic regular expressions was introduced and an overview of current research was provided. At first, the deifnition 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.