@Article{         FiliotGauwinReynierServais,
  Author        = "Filiot, Emmanuel and Gauwin, Olivier and Reynier, Pierre-Alain and Servais, Fr{\'e}d{\'e}ric",
  Abstract      = "Any two-way finite state automaton is equivalent to some one-way finite state automaton. This well-known result, shown by Rabin and Scott and independently by Shepherdson, states that two-way finite state automata (even non-deterministic) characterize the class of regular languages. It is also known that this result does not extend to finite string transductions: (deterministic) two-way finite state transducers strictly extend the expressive power of (functional) one-way transducers. In particular deterministic two-way transducers capture exactly the class of MSO-transductions of finite strings. In this paper, we address the following definability problem: given a function defined by a two-way finite state transducer, is it definable by a one-way finite state transducer? By extending Rabin and Scott's proof to transductions, we show that this problem is decidable. Our procedure builds a one-way transducer, which is equivalent to the two-way transducer, whenever one exists.",
  date-added    = "2013-07-09 13:04:13 +0000",
  date-modified = "2013-07-09 13:04:13 +0000",
  EPrint        = "1301.5197",
  Month         = "01",
  Title         = "From Two-Way to One-Way Finite State Transducers",
  URL           = "http://arxiv.org/abs/1301.5197",
  Year          = "2013",
  bdsk-url-1    = "http://arxiv.org/abs/1301.5197",
  File          = "From Two-Way to One-Way Finite State Transducers - Filiot, Gauwin, Reynier, Servais (0) (0) - a - a - y.pdf"
}

@Article{ FiliotGauwinReynierServais, Author = "Filiot, Emmanuel and Gauwin, Olivier and Reynier, Pierre-Alain and Servais, Fr{\'e}d{\'e}ric", Abstract = "Any two-way finite state automaton is equivalent to some one-way finite state automaton. This well-known result, shown by Rabin and Scott and independently by Shepherdson, states that two-way finite state automata (even non-deterministic) characterize the class of regular languages. It is also known that this result does not extend to finite string transductions: (deterministic) two-way finite state transducers strictly extend the expressive power of (functional) one-way transducers. In particular deterministic two-way transducers capture exactly the class of MSO-transductions of finite strings. In this paper, we address the following definability problem: given a function defined by a two-way finite state transducer, is it definable by a one-way finite state transducer? By extending Rabin and Scott's proof to transductions, we show that this problem is decidable. Our procedure builds a one-way transducer, which is equivalent to the two-way transducer, whenever one exists.", date-added = "2013-07-09 13:04:13 +0000", date-modified = "2013-07-09 13:04:13 +0000", EPrint = "1301.5197", Month = "01", Title = "From Two-Way to One-Way Finite State Transducers", URL = "http://arxiv.org/abs/1301.5197", Year = "2013", bdsk-url-1 = "http://arxiv.org/abs/1301.5197", File = "From Two-Way to One-Way Finite State Transducers - Filiot, Gauwin, Reynier, Servais (0) (0) - a - a - y.pdf" }