On biautomata Ondřej Klíma and Libor Polák RAIRO-Theor. Inf. Appl., 46 4 (2012) 573-592 Published online: 19 June 2012 DOI: 10.1051/ita/2012014