Katja Meckel

dblp:70/9958 · DBLP profile ↗
← Back
4ranked-venue papers
0as first author
1since 2021 · last 2021
—ORCID · none

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

Theory of computation · 3 · 1 since 2021Applied, interdisciplinary, general and emerging computing · 1
YearPublicationVenuePosition
2021 The descriptional power of queue automata of constant length
abstract
Abstract We consider the notion of a constant length queue automaton—i.e., a traditional queue automaton with a built-in constant limit on the length of its queue—as a formalism for representing regular languages. We show that the descriptional power of constant length queue automata greatly outperforms that of traditional finite state automata, of constant height pushdown automata, and of straight line programs for regular expressions, by providing optimal exponential and double-exponential size gaps. Moreover, we prove that constant height pushdown automata can be simulated by constant length queue automata paying only by a linear size increase, and that removing nondeterminism in constant length queue automata requires an optimal exponential size blow-up, against the optimal double-exponential cost for determinizing constant height pushdown automata. Finally, we investigate the size cost of implementing Boolean language operations on deterministic and nondeterministic constant length queue automata.
Sebastian Jakobi, Katja Meckel, Carlo Mereghetti, Beatrice Palano
Acta Informatica2
2014 Parameterized Prefix Distance between Regular Languages
Martin Kutrib, Katja Meckel, Matthias Wendlandt
SOFSEM2
2012 Nondeterministic state complexity of star-free languages
Markus Holzer 0001, Martin Kutrib, Katja Meckel
Theor. Comput. Sci.3
2011 Nondeterministic State Complexity of Star-Free Languages
Markus Holzer 0001, Martin Kutrib, Katja Meckel
CIAA3