23 citations · 100 across the 28 of their papers we have counts for
4 papers · 1 filter
Effective Projections on Group Shifts to Decide Properties of Group Cellular Automata
Pierre Béaur, Jarkko Kari
Many decision problems concerning cellular automata are known to be decidable in the case of algebraic cellular automata, that is, when the state set has an algebraic structure and…
Varieties
Howard Straubing, Pascal Weil
This text is devoted to the theory of varieties, which provides an important tool, based in universal algebra, for the classification of regular languages. In the introductory sect…
Undecidable properties of self-affine sets and multi-tape automata
Timo Jolivet, Jarkko Kari
We study the decidability of the topological properties of some objects coming from fractal geometry. We prove that having empty interior is undecidable for the sets defined by two…
On Continuous Weighted Finite Automata
Jarkko Kari, Alexandr Kazda, Paula Steinby
We investigate the continuity of the ω-functions and real functions defined by weighted finite automata (WFA). We concentrate on the case of average preserving WFA. We show that ev…