Skip to main content
SpringerLink
Log in

Rational bijection of rational sets

  • Published:
Acta Informatica Aims and scope Submit manuscript

Summary

In this paper we initiate the study of rational bijections, that is of rational transductions which are bijections of a rational (=regular) set R onto a rational set S. We present a complete and easily decidable characterization of the existence of a rational bijection between two given rational sets.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Culik, K. II: Some decidability results about regular and pushdown translations, Research Report S-78-09 (1978), Dept. of Computer Science, University of Waterloo

  2. Eilenberg, S.: Automata, languages and machines, Vol. A. New York: Academic Press 1974

    Google Scholar 

  3. Ginsburg, S.: The mathematical theory of context-free languages. New York: Mac Graw Hill Book Comp. 1966

    Google Scholar 

  4. Ginsburg, S.: Algebraic and automata-theoretic properties of formal languages. Amsterdam: North-Holland Publishing Company 1975

    Google Scholar 

  5. Lentin, A., Schützenberger, M.P.: A combinatorial problem in the theory of free monoids, in Combinatorial Mathematics and its Applications, R. Bose and T. Dowling (Ed.), pp. 128–144. Chapel Hill: Univ. of North Carolina Press 1967

    Google Scholar 

  6. Nivat, M.: Transductions des langages de Chomsky. Annales de l'Institut Fourier. Vol. 18, 339–456 (1968)

    Google Scholar 

  7. Nivat, M.: Éléments de la théorie générale des codes, in Automata theory, E. Caianiello (ed.) 278–294. New York: Academic Press 1966

    Google Scholar 

  8. Restivo, A.: Mots sans répétitions et langages rationnels homes. Rairo Informatique Theorique. Vol. 11, 197–202 (1977)

    Google Scholar 

  9. Salomaa, A., Soittola, M.: Automata-theoretic aspects of formal power series. Berlin, Heidelberg, New York: Springer 1978

    Google Scholar 

  10. Schützenberger, M.P.: Sur les relations rationelles, in: Automata Theory and Formal Languages, H. Brakhage (Ed.), 2nd GI Conference (1975), pp. 109–213

Download references

Author information

Authors and Affiliations

  1. Institut für Informationsverarbeitung, Technische Universität Graz, Steyrergasse 17, A-8010, Graz, Austria

    H. A. Maurer

  2. Laboratoire d' Informatique Theorique et Programmation, Université Paris VII, 2 place Jussieu, F-75221, Paris - cedex 05, France

    M. Nivat

Authors
  1. H. A. Maurer
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. M. Nivat
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

This author acknowledges with pleasure the financial support of the Austrian Federal Ministry of Science and Research which allowed him to spend one week in Graz where this paper was initiated

Rights and permissions

Reprints and permissions

About this article

Cite this article

Maurer, H.A., Nivat, M. Rational bijection of rational sets. Acta Informatica 13, 365–378 (1980). https://doi.org/10.1007/BF00288770

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00288770

Keywords

Search

Navigation