Sciweavers

Share
ATVA
2006
Springer

On the Succinctness of Nondeterminism

10 years 1 months ago
On the Succinctness of Nondeterminism
Abstract. Much is known about the differences in expressiveness and succinctness between nondeterministic and deterministic automata on infinite words. Much less is known about the relative succinctness of the different classes of nondeterministic automata. For example, while the best translation from a nondeterministic B
Benjamin Aminof, Orna Kupferman
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2006
Where ATVA
Authors Benjamin Aminof, Orna Kupferman
Comments (0)
books