254 7. Linear Autonomous Finite Automata
ξ
M
(z)=
v
i=1
ξ
M
(i)
(z). (7.63)
Since the union of linear registers M
(1)
, ..., M
(v)
is minimal, M
(h)
is
minimal, h =1,...,v. Therefore, the characteristic polynomial and the sec-
ond characteristic polynomial of M
(h)
are the same, say f
(h)
(z), h =1,...,v.
Clearly, we can take f
(h)
(z), h =1,...,v as the elementary divisors of the
state transition matrix of the union of M
(1)
, ..., M
(v)
. Since elementary divi-
sors of the state transition matrix of a linear finite automaton keep unchanged
under similarity transformation, f
(h)
(z), h =1,...,v are the elementary di-
visors of the state transition matrix of any minimal linear finite automaton
of M. From Theorem 7.3.3 and Corollary 7.3.3, noticing that any elementary
divisor is a positive power of a irreducible polynomial, we have the following
theorem.
Theorem 7.3.5. Assume that M is a nonsingular linear autonomous finite
automaton and that f
(i)
(z), i =1,...,v are the elementary divisors of the
state transition matrix of any minimal linear finite automaton of M.Let
f
(i)
(z)=f
i
(z)
l
i
,wheref
i
(z) is an irreducible polynomial over GF (q) of
degree n
i
and with period e
i
, i =1,...,v. Then we have
ξ
M
(z)=
v
i=1
l
i
k=1
(z +(q
n
i
− 1)z
e
i
p
log
p
k
)
=
v
i=1
z +(q
n
i
− 1)z
e
i
+
log
p
l
i
−1
h=1
(q
n
i
p
h
− q
n
i
p
h−1
)z
e
i
p
h
+(q
n
i
l
i
− q
n
i
p
log
p
l
i
−1
)z
e
i
p
log
p
l
i
.
7.4 Linearization
We use to denote the set of all linear shift registers over GF (q)ofwhich
theoutputisthefirstcomponentofthestate.Itisevidentthatanylinear
shift register in is uniquely determined by its characteristic polynomial.
We define two operations on .
Let M
i
∈, i =1,...,h. For any i,1 i h,letf
i
(z) be the charac-
teristic polynomial of M
i
and G(M
i
), or G
i
for short, the set of all different
roots of f
i
(z); let l
i
(ε) be the multiplicity of ε whenever ε is a root of f
i
(z),
l
i
(ε) = 0 otherwise. Let
f
Σ
(z)=
ε∈G
1
∪···∪G
h
(z − ε)
max(l
1
(ε),...,l
h
(ε))
. (7.64)