5 citations · 9 across the 11 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.FL2025
Multidimensional tilings and MSO logic
Rémi Pallen, Ilkka Törmä
We define sets of coulourings of the infinite discrete plane using monadic second order (MSO) formulas. We determine the complexity of deciding whether such a formula defines a sub…
math.DS2025
Symbol Frequencies in Surjective Cellular Automata
Benjamin Hellouin de Menibus, Ilkka Törmä, Ville Salo
We study the behavior of probability measures under iteration of a surjective cellular automaton. We solve the following question in the negative: if the initial measure is ergodic…