Sciweavers

IPL
2007
94views more  IPL 2007»
13 years 11 months ago
A note on emptiness for alternating finite automata with a one-letter alphabet
We present a new proof of PSPACE-hardness of the emptiness problem for alternating finite automata with a singleton alphabet. This result was shown by Holzer (1995) who used a pr...
Petr Jancar, Zdenek Sawa