Weak index versus Borel rank

dc.creatorMurlak, Filip
dc.date2008-02-20
dc.date.accessioned2026-07-07T09:22:01Z
dc.date.available2026-07-07T09:22:01Z
dc.descriptionWe investigate weak recognizability of deterministic languages of infinite trees. We prove that for deterministic languages the Borel hierarchy and the weak index hierarchy coincide. Furthermore, we propose a procedure computing for a deterministic automaton an equivalent minimal index weak automaton with a quadratic number of states. The algorithm works within the time of solving the emptiness problem.
dc.identifierhttps://arxiv.org/abs/0802.2842
dc.identifierhttp://arxiv.org/abs/0802.2842
dc.identifierDans Proceedings of the 25th Annual Symposium on the Theoretical Aspects of Computer Science - STACS 2008, Bordeaux : France (2008)
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/155231
dc.subjectInformation Theory
dc.titleWeak index versus Borel rank
dc.typetext

Files

Collections