Two-way automaton computations Jean-Camille Birget — 1990 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications