\input zb-basic \input zb-ioport \iteman{io-port 03485659} \itemau{Giorgadze, A.Kh.; Safiulina, A.G.} \itemti{Iterative decomposition of finite probabilistic automata.} \itemso{Autom. Remote Control 35, 1448-1451 (1974); translation from Avtom. Telemekh. 1974, No.9, 81-85 (1974).} \itemcc{} \itemut{} \itemli{} \end