XML 语法和语言的形式属性
离散数学
2007-05-23 v1 计算与语言
摘要
XML 文档由文档类型定义 (DTD) 描述。XML-语法是捕获 DTD 语法特征的形式语法。我们研究了这类语法的属性。我们证明了每个 XML 语言基本上都有一个唯一的 XML-语法。我们给出了由 XML-语法生成的语言的两种表述，一种是集合论的，另一种是一种类似饱和属性的表述。我们研究了可判定性问题，证明了一些对于通用上下文无关语言不可判定的属性对于 XML 语言变为可判定的。我们还描述了产生正则 XML 语言的 XML-语法。
引用
@article{arxiv.cs/0011011,
title = {Formal Properties of XML Grammars and Languages},
author = {Jean Berstel and Luc Boasson},
journal= {arXiv preprint arXiv:cs/0011011},
year = {2007}
}
备注
24 pages