Searcharxiv⌕ Search

arXiv subjects

Ludwig Staiger

Publications and source records attributed to Ludwig Staiger.

5 recordsLinked to original sources
arXiv2025

A note on Automatic Baire property

Automatic Baire property is a variant of the usual Baire property which is fulfilled for subsets of the Cantor space accepted by finite automata. We consider the family $\mathcal{A}$ of subsets of the Cantor space having the Automatic Baire property. In particular we show that not all finite subsets have the Automatic Baire property, and that already a slight increase of the computational power of the accepting device may lead beyond the class $\mathcal{A}$.

cs.FL↗
arXiv2025

A polynomial-time algorithm for the automatic Baire property

A subset of a topological space possesses the Baire property if it can be covered by an open set up to a meagre set. For the Cantor space of infinite words Finkel introduced the automatic Baire category where both sets, the open and the meagre, can be chosen to be definable by finite automata. Here we show that, given a Muller automaton defining the original set, resulting open and meagre sets can be constructed in polynomial time. Since the constructed sets are of simple topological structure, it is possible to construct not only Muller automata defining them but also the simpler B\"uchi automata. To this end we give, for a restricted class of Muller automata, a conversion to equivalent B\"uchi automata of at most quadratic size.

cs.FL↗
arXiv2010

The Maximal Subword Complexity of Quasiperiodic Infinite Words

We provide an exact estimate on the maximal subword complexity for quasiperiodic infinite words. To this end we give a representation of the set of finite and of infinite words having a certain quasiperiod q via a finite language derived from q. It is shown that this language is a suffix code having a bounded delay of decipherability. Our estimate of the subword complexity now follows from this result, previously known results on the subword complexity and elementary results on formal power series.

cs.FL↗
arXiv2005

Randomness Relative to Cantor Expansions

Imagine a sequence in which the first letter comes from a binary alphabet, the second letter can be chosen on an alphabet with 10 elements, the third letter can be chosen on an alphabet with 3 elements and so on. When such a sequence can be called random? In this paper we offer a solution to the above question using the approach to randomness proposed by Algorithmic Information Theory.

nlin.CD↗