Related papers: Negative bases and automata

Copeland and Erd\H{o}s showed that the concatenation of primes when written in base $10$ yields a real number that is normal to base $10$. We generalize this result to Pisot number bases in which all integers have finite expansion.

For two countable ordinals $\alpha$ and $\beta$, a basis of a Banach space $X$ is said to be $(\alpha, \beta)$-quasi-greedy if it is 1) quasi-greedy, 2) $\mathcal{S}_\alpha$-unconditional but not $\mathcal{S}_{\alpha+1}$-unconditional, and…

Finite automata (FA) are a fundamental computational abstraction that is widely used in practice for various tasks in computer science, linguistics, biology, electrical engineering, and artificial intelligence. Given an input word, an FA…

We survey arithmetic and asymptotic properties of the alternating sum-of-divisors function $\beta$ defined by $\beta(p^a)=p^a-p^{a-1}+p^{a-2}-...+(-1)^a$ for every prime power $p^a$ ($a\ge 1$), and extended by multiplicativity. Certain open…

A data language is a set of finite words defined on an infinite alphabet. Data languages are used to express properties associated with data values (domain defined over a countably infinite set). In this paper, we introduce set augmented…

This paper extends those of Glendinning and Sidorov [3] and of Hare and Sidorov [6] from the case of the doubling map to the more general $\beta$-transformation. Let $\beta \in (1,2)$ and consider the $\beta$-transformation…

This paper highlights an unexpected connection between expansions of real numbers to noninteger bases (so-called {\em $\beta$-expansions}) and the infinite derivatives of a class of self-affine functions. Precisely, we extend Okamoto's…

The seminal theorem of Cobham has given rise during the last 40 years to a lot of works around non-standard numeration systems and has been extended to many contexts. In this paper, as a result of fifteen years of improvements, we obtain a…

We propose $\omega$MSO$\Join$BAPA, an expressive logic for describing countable structures, which subsumes and transcends both Counting Monadic Second-Order Logic (CMSO) and Boolean Algebra with Presburger Arithmetic (BAPA). We show that…

This paper presents two algorithms on certain computations about Pisot numbers. Firstly, we develop an algorithm that finds a Pisot number $\alpha$ such that $\Q[\alpha] = \F$ given a real Galois extension $\F$ of $\Q$ by its integral…

Let $X$ be an irreducible shift of finite type (SFT) of positive entropy, and let $B_n(X)$ be its set of words of length $n$. Define a random subset $\omega$ of $B_n(X)$ by independently choosing each word from $B_n(X)$ with some…

Zero automata are a probabilistic extension of parity automata on infinite trees. The satisfiability of a certain probabilistic variant of mso, called tmso + zero, reduces to the emptiness problem for zero automata. We introduce a variant…

We prove that, for any real $\lambda$, the system $-\Delta u +\lambda u = u^3-\beta uv^2$, $ -\Delta v+\lambda v =v^3-\beta vu^2$, $ u,v\in H^1_0(\Omega),$ where $\Omega$ is a bounded smooth domain of $R^3$, admits a bounded family of…

Data automata on data words is a decidable model proposed by Boja\'nczyk et al. in 2006. Class automata, introduced recently by Boja\'nczyk and Lasota, is an extension of data automata which unifies different automata models on data words.…

We show that every intermediate $\beta$-transformation is topologically conjugate to a greedy $\beta$-transformation with a hole at zero, and provide a counterexample illustrating that the correspondence is not one-to-one. This…

We determine the structure of the set of intermediate $\beta$-shifts of finite type. Specifically, we show that this set is dense in the parameter space $\Delta = \{ (\beta, \alpha) \in \mathbb{R}^{2} \colon \beta \in (1, 2) \; \text{and}…

Alternating automata have been widely used to model and verify systems that handle data from finite domains, such as communication protocols or hardware. The main advantage of the alternating model of computation is that complementation is…

Plane-walking automata were introduced by Salo & T\"orma to recognise languages of two-dimensional infinite words (subshifts), the counterpart of $4$-way finite automata for two-dimensional finite words. We extend the model to allow for…

Let $d$ be a positive integer and $U \subset \mathbb{Z}^d$ finite. We study $$\beta(U) : = \inf_{\substack{A , B \neq \emptyset \\ \text{finite}}} \frac{|A+B+U|}{|A|^{1/2}{|B|^{1/2}}},$$ and other related quantities. We employ…

Countable Markov shifts, denoted by $\Sigma_A$ for a 0-1 infinite matrix $A$, are central objects in symbolic dynamics and ergodic theory. R. Exel and M. Laca introduced the corresponding operator algebras, a generalization of the…