明确的树语言在拓扑上比确定性的更难
摘要：一个可被非歧义偶数自动机识别的树语言G的例子被给出，并且该语言作为康托空间中的一个集合是解析完备的。这已经表明，非歧义语言在拓扑上比确定性语言更加复杂，而后者都是共解析的。利用集合G作为构建模块，我们构造了一个非歧义语言，该语言在拓扑上比任何可数布尔组合的解析和共解析集合更加困难。特别是，该语言比O.Finkel和P.Simonnet在非确定性自动机背景下考虑的解析集合的差分层次中的任何集合都要困难。
作者：Szczepan Hummel (University of Warsaw)
论文ID：1210.2463
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2012-10-10