Abstract
We consider binary relations on words which can be recognized by finite two-tape devices in two different ways: the traditional way where the two tapes are scanned in the same direction and a new one where they are scanned in different directions. The devices of the former type define the family of rational relations, while those of the latter define an a priori really different family. We characterize the partial functions that are in the intersection of the two families. We state a conjecture for the intersection for general, nonfunctional, relations.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
We compose the relations from left to right: \(R\circ S\) denotes the relation \(\left\{ {(u,v)\mid \exists w,\ (u,w)\in R\text { and }(w,v)\in S}\right\} \).
- 2.
The image of a relation R is the subset \(\left\{ {v\in \varDelta ^*\mid \exists u\in \varSigma ^*,\ \left( {u,v}\right) \in R}\right\} \).
- 3.
An \(\epsilon \)-free automaton is trim if each of its state q is accessible (i.e., there exists a path from the initial state to q) and co-accessible (i.e., there exists a path from q to some accepting state). Every finite automaton is equivalent to some trim automaton.
References
Berstel, J.: Transductions and Context-Free Languages. B. G. Teubner, Stuttgart (1979)
Choffrut, C., Guillon, B.: An algebraic characterization of unary two-way transducers. In: Csuhaj-Varjú, E., Dietzfelbinger, M., Ésik, Z. (eds.) MFCS 2014, Part I. LNCS, vol. 8634, pp. 196–207. Springer, Heidelberg (2014)
Eilenberg, S.: Automata, Languages and Machines, vol. A. Academic Press, New York (1974)
Elgot, C.C., Mezei, J.E.: On relations defined by generalized finite automata. IBM J. 10, 47–68 (1965)
Engelfriet, J., Hoogeboom, H.: MSO definable string transductions and two-way finite-state transducers. ACM Trans. Comput. Log. 2(2), 216–254 (2001)
Fischer, P.C., Rosenberg, A.L.: Multitape one-way nonwriting automata. J. Comput. Syst. Sci. 2(1), 88–101 (1968)
Guillon, B.: Sweeping weakens two-way transducers even with a unary output alphabet. In: Proceedings of Seventh Workshop on NCMA 2015, Porto, Portugal, August 31 – September 1, 2015, pp. 91–108 (2015)
Rabin, M., Scott, D.: Finite automata and their decision problems. IBM J. Res. Dev. 3(2), 125–144 (1959)
Sakarovitch, J.: Elements of Automata Theory. Cambridge University Press, New York (2009)
Sakoda, W.J., Sipser, M.: Nondeterminism and the size of two way finite automata. In: Proceedings of the 10th Annual ACM Symposium on Theory of Computing, 1–3 May 1978, San Diego, California, USA, pp. 275–286 (1978)
Sipser, M.: Lower bounds on the size of sweeping automata. In: Proceedings of the 11th Annual ACM Symposium on Theory of Computing, April 30 – May 2, 1979, Atlanta, Georgia, USA, pp. 360–364 (1979)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Choffrut, C., Guillon, B. (2016). Both Ways Rational Functions. In: Brlek, S., Reutenauer, C. (eds) Developments in Language Theory. DLT 2016. Lecture Notes in Computer Science(), vol 9840. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-53132-7_10
Download citation
DOI: https://doi.org/10.1007/978-3-662-53132-7_10
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-53131-0
Online ISBN: 978-3-662-53132-7
eBook Packages: Computer ScienceComputer Science (R0)