SOME PROPERTIES OF QUASI-PERFECT AUTOMATA

In this paper we shall discuss the quasi-perfect automata associated with power automata. We shall give the fact that x(M)/ HX is normal subgroup of the characteristic semigroup x(M) if the automaton A is quasi-perfect and x(M)/HX = x$(M)_H$ if A is perfect. Moreover, it is a very interesting part that x$(M)_H$ is conjugate to x$(M)_{Ha}$ for every a $\in$ X. Also we shall give a characterization of Ha = Hb for x$(M)_H$.