117 research outputs found
Groups and semigroups defined by some classes of mealy automata
Two classes of finite Mealy automata (automata without branches, slowmoving automata) are considered in this article. We study algebraic properties of transformations defined by automata of these classes. We consider groups and semigroups defined by automata without branches
The finiteness of a group generated by a 2-letter invertible-reversible Mealy automaton is decidable
We prove that a semigroup generated by a reversible two-state Mealy automaton
is either finite or free of rank 2. This fact leads to the decidability of
finiteness for groups generated by two-state or two-letter
invertible-reversible Mealy automata and to the decidability of freeness for
semigroups generated by two-state invertible-reversible Mealy automata
A characterization of those automata that structurally generate finite groups
Antonenko and Russyev independently have shown that any Mealy automaton with
no cycles with exit--that is, where every cycle in the underlying directed
graph is a sink component--generates a fi- nite (semi)group, regardless of the
choice of the production functions. Antonenko has proved that this constitutes
a characterization in the non-invertible case and asked for the invertible
case, which is proved in this paper
The smallest Mealy automaton of intermediate growth
In this paper we study the smallest Mealy automaton of intermediate growth,
first considered by the last two authors. We describe the automatic
transformation monoid it defines, give a formula for the generating series for
its (ball volume) growth function, and give sharp asymptotics for its growth
function, namely [ F(n) \sim 2^{5/2} 3^{3/4} \pi^{-2} n^{1/4}
\exp{\pi\sqrt{n/6}} ] with the ratios of left- to right-hand side tending to 1
as
On the 3-state Mealy Automata over an m-symbol Alphabet of Growth Order [ n ^{{\log n}/{2 \log m}} ]
We consider the sequence of the 3-state Mealy automata over
an m-symbol alphabet such that the growth function of has the
intermediate growth order . For each automaton
we describe the automaton transformation monoid , defined by it,
provide generating series for the growth functions, and consider primary
properties of and .Comment: 38 pages, 5 Postscript figure
- âŠ