A note on emptiness for alternating finite automata with a one-letter alphabet

dc.contributor.author	Jančar, Petr
dc.contributor.author	Sawa, Zdeněk
dc.date.accessioned	2007-10-26T10:20:50Z
dc.date.available	2007-10-26T10:20:50Z
dc.date.issued	2007
dc.identifier.citation	Information Processing Letters. 2007, vol. 104, issue 5, p. 164-167.	en
dc.identifier.issn	0020-0190
dc.identifier.uri	http://hdl.handle.net/10084/63961
dc.language.iso	en	en
dc.publisher	Elsevier	en
dc.relation.ispartofseries	Information Processing Letters	en
dc.relation.uri	http://dx.doi.org/10.1016/j.ipl.2007.06.006	en
dc.subject	computational complexity	en
dc.subject	alternating finite automaton	en
dc.subject	emptiness	en
dc.title	A note on emptiness for alternating finite automata with a one-letter alphabet	en
dc.type	article	en
dc.identifier.location	Není ve fondu ÚK	en
dc.description.abstract-en	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 proof relying on a series of reductions from several papers. The new proof is simple, direct and self-contained.	en
dc.identifier.doi	10.1016/j.ipl.2007.06.006
dc.identifier.wos	000249878200002

Soubory tohoto záznamu

Soubory	Velikost	Formát	Zobrazit
K tomuto záznamu nejsou připojeny žádné soubory.

Publikační činnost VŠB-TUO ve Web of Science / Publications of VŠB-TUO in Web of Science [7798]
Kolekce obsahuje bibliografické záznamy článků akademických pracovníků VŠB-TUO publikovaných v časopisech indexovaných ve Web of Science od roku 1990 po současnost.
Publikační činnost Katedry informatiky / Publications of Department of Computer Science (460) [562]
Kolekce obsahuje bibliografické záznamy publikační činnosti (článků) akademických pracovníků Katedry informatiky (460) v časopisech a v Lecture Notes in Computer Science registrovaných ve Web of Science od roku 2003 po současnost.