For example, the series of register operations (W, 1, a), (R, 1, a), (W, 1, b) is equal in its effect to the series (W, 1, b) .
we show an algorithm for optimizing a given FSRA by minimizing the series of register operations over its arcs and removing redundant arcs and states.