Zuzana Bednárová

dblp:44/9959 · DBLP profile ↗
← Back
9ranked-venue papers
5as first author
2since 2021 · last 2022
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 9 · 5 first-author · 2 since 2021
YearPublicationVenuePosition
2022 Input-driven pushdown automata for edit distance neighborhood
Viliam Geffert, Zuzana Bednárová, Alexander Szabari
Theor. Comput. Sci.2
2021 Minimal Size of Counters for (Real-Time) Multicounter Automata
abstract
We show that, for automata using a finite number of counters, the minimal space that is required for accepting a nonregular language is (log n)ɛ. This is required for weak space bounds on the size of their counters, for real-time and one-way, and for nondeterministic and alternating versions of these automata. The same holds for two-way automata, independent of whether they work with strong or weak space bounds, and of whether they are deterministic, nondeterministic, or alternating. (Here ɛ denotes an arbitrarily small—but fixed—constant; the “space” refers to the values stored in the counters, rather than to the lengths of their binary representation.) On the other hand, we show that the minimal space required for accepting a nonregular language is nɛ for multicounter automata with strong space bounds, both for real-time and one-way versions, independent of whether they are deterministic, nondeterministic, or alternating, and also for real-time and one-way deterministic multicounter automata with weak space bounds. All these bounds are optimal both for unary and general nonregular languages. However, for automata equipped with only one counter, it was known that one-way nondeterministic automata cannot recognize any unary nonregular languages at all, even if the size of the counter is not restricted, while, with weak space bound log n, we present a real-time nondeterministic automaton recognizing a binary nonregular language here.
Viliam Geffert, Zuzana Bednárová
Fundam. Informaticae2
2019 Input-Driven Pushdown Automata for Edit Distance Neighborhood
Viliam Geffert, Zuzana Bednárová, Alexander Szabari
DLT2
2018 Minimal Useful Size of Counters for (Real-Time) Multicounter Automata
Viliam Geffert, Zuzana Bednárová
MCU2
2017 Two double-exponential gaps for automata with a limited pushdown
Zuzana Bednárová, Viliam Geffert
Inf. Comput.1
2017 Boolean language operations on nondeterministic automata with a pushdown of constant height
Zuzana Bednárová, Viliam Geffert, Carlo Mereghetti, Beatrice Palano
J. Comput. Syst. Sci.1
2014 Two Double-Exponential Gaps for Automata with a Limited Pushdown
Zuzana Bednárová, Viliam Geffert
LATA1
2014 Removing nondeterminism in constant height pushdown automata
Zuzana Bednárová, Viliam Geffert, Carlo Mereghetti, Beatrice Palano
Inf. Comput.1
2012 The size-cost of Boolean operations on constant height deterministic pushdown automata
Zuzana Bednárová, Viliam Geffert, Carlo Mereghetti, Beatrice Palano
Theor. Comput. Sci.1