110 4. Relations Between Transformations
eq
τ
(i). In the first section of this chapter, a relation between two R
a
R
b
trans-
formation sequences beginning at the same equation is derived. It means that
in the inversion process it is enough to choose any one of the linear R
a
R
b
transformation sequences.
By exploring properties of “composition” of two R
a
R
b
transformation
sequences, it is shown that the inversion method by R
a
R
b
transformation
works for some special compound finite automata, for example, one com-
ponent belongs to quasi-linear finite automata, and another component is a
weakly invertible or weak inverse finite automaton generated by linear R
a
R
b
transformation or with delay 0.
Another inversion method is to solve equations corresponding to an output
sequence of length τ + 1 by means of finding the reduced echelon matrix of
the coefficient matrix of the equations. Section 4.3 proves that for a weakly
invertible finite automaton with delay τ, its weak inverse can be found by
the reduced echelon matrix method if and only if it can be found by the R
a
R
b
transformation method.
Using a “time shift” operator z, coefficient matrices of pseudo-memory
finite automata may be expressed by matrix polynomials of z.Bymeans
of reducing to canonical diagonal matrix polynomials, an inversion method
was derived. In Sect. 4.4, relations between terminating and elementary R
a
R
b
transformation sequences and canonical diagonal matrix polynomials and
the existence of such R
a
R
b
transformation sequence are investigated. From
presented results, it is easy to see that the inversion method by canonical
diagonal matrix polynomial works if and only if the inversion method by R
a
R
b
transformation works.
This chapter provides a foundation for assertions on the weak key of the
public key cryptosystem based on finite automata in Sect. 9.4.
4.1 Relations Between R
a
R
b
Transformations
Throughout this chapter, for any integer i, any nonnegative integer k and any
symbol string z,weusez(i, k) to denote the symbol string z
i
,z
i−1
,...,z
i−k+1
.
Let X and U be two finite nonempty sets. Let Y be a column vector space
of dimension m over a finite commutative ring R with identity, where m is
a positive integer. In this section, for any integer i,weusex
i
, u
i
and y
i
to
denote elements in X, U and Y , respectively.
Let ψ
l
μν
be a column vector of dimension l of which each component is
a single-valued mapping from U
μ+1
× X
ν+1
to Y for some integers μ −1,
ν 0andl 1. For any integers h 0andi,let