Karel Culik and the first author have demonstrated how Weighted Finite
Automata (WFA) provide a strong tool for image compression [1, 2, 3].
In the present article we introduce an improved method for the last s
tep of the compression algorithm: for compressing the WFA that approxi
mates the given image. Our method is based on arithmetic coding of spa
rse matrices.