Abstract
We introduce two series of finite automata starting from the so-called Aleshin and Bellaterra automata. We prove that transformations defined by automata from the first series generate a free non-Abelian group of infinite rank, while automata from the second series give rise to the free product of infinitely many groups of order 2.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have