A MEALY MACHINE WITH POLYNOMIAL GROWTH OF IRRATIONAL DEGREE
Abstract
We consider a very simple Mealy machine (two nontrivial states over a two-symbol alphabet), and derive some properties of the semigroup it generates. It is an infinite, finitely generated semigroup, and we show that the growth function of its balls behaves asymptotically like ℓα, for ; that the semigroup satisfies the identity g6 = g4; and that its lattice of two-sided ideals is a chain.