首页/论文/0812.1729

arXiv 0812.17292008-12-23cs.LO

确定树语言的Wadge层次结构

The Wadge Hierarchy of Deterministic Tree Languages

Filip Murlak

备注：: 44 pages, 8 figures; extended abstract presented at ICALP 2006, Venice, Italy; full version appears in LMCS special issue
发表信息：: Logical Methods in Computer Science, Volume 4, Issue 4 (December 23, 2008) lmcs:994
DOI：: 10.2168/LMCS-4(4:15)2008

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

我们提供了一个完整的描述的Wadge层次结构的确定性可识别集的无限树。特别是，我们给出了一个基本的过程，以确定是否一个确定性树语言是连续约简到另一个。这扩展了瓦格纳的结果的层次结构的欧米茄-正则语言的话的情况下，树。

英文摘要：

We provide a complete description of the Wadge hierarchy for deterministically recognisable sets of infinite trees. In particular we give an elementary procedure to decide if one deterministic tree language is continuously reducible to another. This extends Wagner's results on the hierarchy of omega-regular languages of words to the case of trees.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

可计算拟Polish空间中的有效Wadge族

Effective Wadge Hierarchy in Computable Quasi-Polish Spaces

我们定义和研究的有效版本的Wadge层次结构的可计算准波兰空间，其中包括大多数空间的兴趣可计算分析。随着层次的集合，我们研究层次的k-分区是有趣的自己。证明了可计算有效开满射保持了这种层次的层次，证明了如果有效Hausdorff-Kuratowski定理在Baire空间中成立，那么它在每一个可计算拟波兰空间中成立，并将有效Hausdorff定理推广到k-划分.

2021-02-15cs.LO

关于Omega上下文无关语言的Wadge层次的长度

On the Length of the Wadge Hierarchy of Omega Context Free Languages

本文证明了Ω上下文无关语言的Wadge族的长度大于Cantor序数Ω_Ω，它是基Ω的序数幂运算的Ω次不动点.同样的结果也适用于由J. Duparc定义的无限上下文无关语言的调和Wadge层次，由D.波基耶我们还证明了存在一些Omega上下文无关语言是Sigma^0_Omega-完全Borel集，改进了以前关于Omega上下文无关语言和Borel层次的结果.

2008-01-03cs.CCcs.GTcs.LO

Petri网语言$ω$的Wadge度

Wadge Degrees of $ω$-Languages of Petri Nets

我们证明了$ω$ -语言的（非确定性）Petri网和$ω$ -语言（非确定性）图灵机具有相同的拓扑复杂性：$ω$类的Borel和Wadge层次--（非确定性）Petri网等同于$ω$类的Borel和Wadge层次结构-（非确定性的）图灵机，它也形成了有效分析集的类别。特别地，对于每个非空递归序数$α< ω\_1^{\rm CK} $，存在一些${\bf Σ}^0\_α$ -完全和一些${\bf Π}^0\_α$ -完全的Petri网$ω$ -语言，并且Petri网$ω$ -语言的Borel秩集合的上确界是序数$γ\_2^1$，它严格大于第一个非递归序数$ω\_1^{\rm CK}$ .我们还证明了存在一些${\bf Σ}\_1^1$ -完全的，因而非Borel的Petri网$ω$ -语言，并且与ZFC一致的是，存在一些既不是Borel也不是${\bf Σ}\_1^1$ -完全的Petri网$ω$ -语言.这回答了[DFR 14，FS 14]中未解决的（非确定性）Petri网语言$ω$的拓扑复杂性问题。

2018-03-26cs.LOmath.LO

上下文无关omega-语言的拓扑复杂性研究综述

Topological Complexity of Context-Free omega-Languages: A Survey

我们调查最近的结果的拓扑结构的复杂性上下文无关的欧米茄语言，形成了第二层次的乔姆斯基层次的语言的无限的话。特别是，我们认为Borel层次和Wadge层次的非确定性或确定性上下文无关的欧米茄语言。我们还研究决策问题，与模糊性和模糊程度的概念的联系，以及欧米茄权力的特殊情况。

2013-03-12cs.CCcs.LOmath.LO

判定正则树语言的Borel复杂度

Deciding the Borel complexity of regular tree languages

我们表明，它是可判定的是否一个给定的一个正规树语言属于类${\bf Δ^0_2}$的Borel层次结构，或等价地是否Wadge度的正规树语言是可数的。

2014-03-14cs.FLcs.LOmath.LO

关于Borel层次之外的可识别树语言

On Recognizable Tree Languages Beyond the Borel Hierarchy

研究了非Borel可识别树语言在解析集差层次上的拓扑复杂性。我们证明了，对于每一个整数$n \geq 1$，都有一个$D_{ω^n}({\bf Σ}^1_1)$ -完全树语言L_n被一个（非确定性）Muller树自动机所接受.另一方面，我们证明了一个明确的Büchi树自动机接受的树语言必须是Borel。然后我们考虑对策树语言$W_{(i,k)}$，Mostowski-Rabin指数$(i, k)$。证明了$D_{ω^n}({\bf Σ}^1_1)$ -完全树语言L_n对于$k-i \geq 2$可Wadge约简为对策树语言$W_{(i, k)}$.特别是，这些语言$W_{(i, k)}$不属于$α< ω^ω$的任何$D_α({\bf Σ}^1_1)$类。

2009-09-02cs.CCcs.LOmath.LO

更多相关论文收起更多论文

非确定性的层级体系

A Hierarchy of Nondeterminism

该研究提出非确定性自动机的三层级体系（DBP、HD、SD），证明其在无限字Büchi等自动机中严格分层，分析各层表达力与判定复杂度，并提出概率分析方法关联非确定性水平与随机运行接受概率。

2025-10-27cs.FLcs.LO

从QBF到MALL，然后通过聚焦返回：多项式层次结构的每一级的乘性加性线性逻辑片段

From QBFs to MALL and back via focussing: fragments of multiplicative additive linear logic for each level of the polynomial hierarchy

在这项工作中，我们将探讨如何提取交替的时间界限从“集中”证明系统。我们的主要结果是获得片段的MALLw（MALL与削弱）完整的多项式层次的每一个级别。在一个方向上，我们编码QBF可满足性，并在另一个方向上，我们编码集中证明搜索，我们表明，这两个编码的组合保留量词交替，产生所需的结果。通过仔细地将众所周知的MALLw嵌入到MALL中，我们获得了MALL公式的类似描述，再次为多项式层次的每一级雕刻出完整的片段。这改进了MALLw和MALL都是PSPACE完备的著名结果。一个关键的见解是，我们必须改进聚焦的通常表示，以解释证明搜索中的确定性计算，这对应于不分支的可逆规则。这是为了我们可以更忠实地将集中证明搜索的阶段与它们的交替时间复杂度相关联。这个演示文稿似乎揭示了进一步的对偶性在水平上的证明搜索比通常的演示文稿，所以可能是进一步的证明理论的兴趣在其本身的权利。

2020-03-03cs.LO

FO ^2交替层次是可判定的

The FO^2 alternation hierarchy is decidable

我们考虑有限字上一阶逻辑的二元片段FO^2[<]。这类的许多特征是已知的。Thérien和Wilke证明了给定的正则语言是否在FO^2[<]中可定义是可判定的。从实践的角度来看，正如Weis所示，FO^2[<]是有趣的，因为它的可满足性问题是NP问题。限制量词交替的数量会在FO^2[<]可定义语言类中产生无限的层次结构。我们表明，这个层次结构的每一个级别是可判定的。为了这个目的，我们涉及的层次结构的每一个层次与可判定的各种有限幺半群。我们的结果表明，有许多不同的方式爬上FO^2[<]-量词交替层次：确定性和余确定性的产品，Mal'cev产品与确定和反确定半群，迭代块产品与J-平凡幺半群，和一些归纳定义的Ω-项的身份。提升过程中的一个组合工具是浓缩排名，这是对Weis和Immerman的排名以及Schwentick，Thérien和Vollmer的海龟程序的改进。

2012-03-28cs.FLcs.LO

差分层中一个单计数器语言的若干完整ω幂

Some complete $ω$-powers of a one-counter language in the difference hierarchy

EPFL（洛桑联邦理工学院）

该研究针对差分层，证明了单计数器自动机接受的有穷语言的ω幂的完全性，还给出了对偶类ω幂完全性的条件结果，完善了相关最新成果。

2026-10-14cs.FLcs.GTcs.LO

关于FO ^2-可定义语言的逻辑层次

On logical hierarchies within FO^2-definable languages

我们考虑一类语言中定义的2变量片段的一阶逻辑的线性秩序。这个类的许多有趣的特征是已知的，以及限制数量词交替产生一个无限层次的事实，其层次是各种语言（因此承认代数特征）。使用这种代数方法，我们证明了FO^{2}[<]中的量词交替层次结构在一个单元内是可判定的。为了这个目的，我们与可判定的各种语言，这可以定义在迭代确定性和协同确定性产品的层次结构的每一个级别。在这个过程中，一个关键的概念是浓缩的等级，这是对Weis和Immerman的等级以及Schwentick，Thérien和Vollmer的海龟语言的改进。

2012-08-14cs.FLcs.LO

正则无限树语言的歧义性层级

Ambiguity Hierarchy of Regular Infinite Tree Languages

Tel Aviv University（特拉维夫大学）

本文研究正则无限树语言的歧义度，证明存在严格层级：对每个k>1有k-歧义非(k-1)-歧义语言，且有限、可数、不可数歧义语言分别超越有界、有限、可数歧义类。

2021-08-11cs.CLcs.LO