Results 1 -
4 of
4
Logic and p-recognizable sets of integers
- Bull. Belg. Math. Soc
, 1994
"... We survey the properties of sets of integers recognizable by automata when they are written in p-ary expansions. We focus on Cobham’s theorem which characterizes the sets recognizable in different bases p and on its generalization to N m due to Semenov. We detail the remarkable proof recently given ..."
Abstract
-
Cited by 52 (4 self)
- Add to MetaCart
We survey the properties of sets of integers recognizable by automata when they are written in p-ary expansions. We focus on Cobham’s theorem which characterizes the sets recognizable in different bases p and on its generalization to N m due to Semenov. We detail the remarkable proof recently given by Muchnik for the theorem of Cobham-Semenov, the original proof being published in Russian. 1
Augmenting dimension group invariants for substitution dynamics
"... We present new invariants for substitutional dynamical systems. Our main contribution is a flow invariant which is strictly finer than, but related and akin to, the dimension groups of Herman, Putnam and Skau. We present this group as a stationary inductive limit of a system associated to an intege ..."
Abstract
-
Cited by 6 (5 self)
- Add to MetaCart
We present new invariants for substitutional dynamical systems. Our main contribution is a flow invariant which is strictly finer than, but related and akin to, the dimension groups of Herman, Putnam and Skau. We present this group as a stationary inductive limit of a system associated to an integer matrix defined from combinatorial data based on the class of special words of the dynamical system.
