Simon Sádovský

dblp:225/9884 · DBLP profile ↗
← Back
4ranked-venue papers
0as first author
4since 2021 · last 2024
0000-0001-8088-1327ORCID · reported

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

Theory of computation · 4 · 4 since 2021
YearPublicationVenuePosition
2024 Performing Regular Operations with 1-Limited Automata
abstract
Abstract The descriptional complexity of basic operations on regular languages using 1-limited automata, a restricted version of one-tape Turing machines, is investigated. When simulating operations on deterministic finite automata with deterministic 1-limited automata, the sizes of the resulting devices are polynomial in the sizes of the simulated machines. The situation is different when the operations are applied to deterministic 1-limited automata: while for boolean operations the simulations remain polynomial, for product, star, and reversal they cost exponential in size. The costs for product and star do not reduce if the given machines are sweeping two-way deterministic finite automata. These bounds are tight.
Giovanni Pighizzini, Luca Prigioniero, Simon Sádovský
Theory Comput. Syst.3
2023 Usefulness of information and decomposability of unary regular languages
Giovanni Pighizzini, Branislav Rovan, Simon Sádovský
Inf. Comput.3
2022 Performing Regular Operations with 1-Limited Automata
Giovanni Pighizzini, Luca Prigioniero, Simon Sádovský
DLT3
2021 Usefulness of Information and Unary Languages
Giovanni Pighizzini, Branislav Rovan, Simon Sádovský
LATA3