Generally, a FSRA is linearized if it is optimized, -free, and given a current state and a new input symbol, and at most one transition can be traversed.
if the transition relation includes two arcs of the form (q, σ, a , q 1 ), (q, σ, b , q 2 ), then a and b must be a contradicting series of register operations.