Rational stochastic automata in formal language theory Paavo Turakainen — 1982 Banach Center Publications