String Compression in FA-Presentable Structures

Dmitry Berdinsky, Sanjay Jain, Bakhadyr Khoussainov +1

We construct a FA-presentation $\psi :L\to \mathbb{N}$ of the structure $(\mathbb{N};\mathrm{S})$ for which a numerical characteristic $r(n)$ defined as the maximum number $ψ…