Arithmetic coding of weighted finite automata J. Kari; P. Fränti — 1994 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications