文章基本信息
- 标题：Unambiguous Tree Languages Are Topologically Harder Than Deterministic Ones
- 本地全文：下载
- 作者：Szczepan Hummel
- 期刊名称：Electronic Proceedings in Theoretical Computer Science
- 电子版ISSN：2075-2180
- 出版年度：2012
- 卷号：96
- 页码：247-260
- DOI：10.4204/EPTCS.96.19
- 出版社：Open Publishing Association
- 摘要：The paper gives an example of a tree language G that is recognised by an unambiguous parity automaton and is analytic-complete as a set in Cantor space. This already shows that the unambiguous languages are topologically more complex than the deterministic ones, that are all coanalytic.
Using set G as a building block we construct an unambiguous language that is topologically harder than any countable boolean combination of analytic and coanalytic sets. In particular the language is harder than any set in difference hierarchy of analytic sets considered by O.Finkel and P.Simonnet in the context of nondeterministic automata.
