Representation and uniformization of algebraic transductions
- 44 Downloads
This paper explores different means of representation for algebraic transductions, i.e., word relations realized by pushdown transducers. The relevance of this work lies more in its point of view rather than any particular result. We are aiming at giving specific techniques for obtaining, or perhaps explaining, decompositions of algebraic (and incidentally, rational) relations, relying solely on their “machine” definition rather than some complex algebraic apparatus. From this point of view, we are hoping to have demystified the heavy formalism employed in the present literature. Some of the novelties of our work are: the use of “stack languages” and “embeddings,” which eliminate the need of arbitrary context-free languages in our characterizations, the study of uniformizations for algebraic transductions and the use of the so-called stack transductions for exposing the anatomy of pushdown transducers.
KeywordsWord Relation Regular Language Algebraic Function Algebraic Relation Output Label
Unable to display preview. Download preview PDF.
- 1.Aho A.V., Ullman J.D. (1972) The Theory of Parsing, Translation and Compiling, vol. 1. Prentice-Hall, Englewood CliffsGoogle Scholar
- 2.Autebert, J.-M., Berstel, J., Boasson, L.: Context-free languages and pushdown automata. In: Salomaa, A., Rozenberg, G. (eds.) Handbook of Formal Languages, vol. 1, Word Language Grammar, pp. 111–174. Springer, Berlin Heidelberg New York (1997)Google Scholar
- 3.Berstel, J.: Transductions and Context-Free Languages. B. G. Teubner, Stuttgart (1979)Google Scholar
- 5.Cohen A. Program analysis and transformation: from the polytope model to formal languages. Thése de Doctorat de l’Universitè de Versailles, reported by Jean Berstel (1999)Google Scholar
- 6.Eilenberg S. (1967) Algèbre Catégorique et Théorie des Automates. Institut H. Poincaré, Université de ParisGoogle Scholar
- 13.Sakarovitch J. (2003) Éléments de Théorie des Automates. Vuibert Informatique, ParisGoogle Scholar