Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
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 l(alpha), for alpha = 1 + log 2/log 1+root 5/2 ; that the semigroup satisfies the identity g(6) = g(4); and that its lattice of two-sided ideals is a chain.
, , ,