References & Citations
Computer Science > Logic in Computer Science
Title: Star Height via Games
(Submitted on 11 Aug 2017)
Abstract: This paper proposes a new algorithm deciding the star height problem. As shown by Kirsten, the star height problem reduces to a problem concerning automata with counters, called limitedness. The new contribution is a different algorithm for the limitedness problem, which reduces it to solving a Gale-Stewart game with an {\omega}-regular winning condition.
Submission history
From: Mikołaj Bojańczyk [view email][v1] Fri, 11 Aug 2017 16:26:39 GMT (952kb,D)
Link back to: arXiv, form interface, contact.