Sciweavers

Share
IPL
2002

Complexity of weak acceptance conditions in tree automata

8 years 6 months ago
Complexity of weak acceptance conditions in tree automata
Weak acceptance conditions for automata on infinite words or trees are defined in terms of the set of states that appear in the run. This is in contrast with, more usual, strong conditions that are defined in terms of states appearing infinitely often on the run. Weak conditions appear in the context of model-checking and translations of logical formalisms to automata. We study the complexity of the emptiness problem for tree automata with weak conditions. We also study the translations between automata with weak and strong conditions.
Jakub Neumann, Andrzej Szepietowski, Igor Walukiew
Added 22 Dec 2010
Updated 22 Dec 2010
Type Journal
Year 2002
Where IPL
Authors Jakub Neumann, Andrzej Szepietowski, Igor Walukiewicz
Comments (0)
books