The Equivalence Problem for Deterministic Two-Way Sequential Transducers Is Decidable

Eitan M. Gurari

Browse the full FOCS paper archive.