Sciweavers

ATVA
2006
Springer
121views Hardware» more  ATVA 2006»
13 years 7 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...
Benjamin Aminof, Orna Kupferman