A Deterministic Two-Way Multi-head Finite Automaton Can Be Converted into a Reversible One with the Same Number of Heads.

Kenichi Morita

Browse the full RC paper archive.