Skip to main content
SpringerLink
Log in

Une Suite Decroissante de Cônes Rationnels

  • Conference paper
Automata, Languages and Programming (ICALP 1974)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 14))

Included in the following conference series:

Résumé

Parmi les problèmes ouverts de la théorie des familles de langages figure celui des FALs et des cônes rationnels minimaux. Nous appelons ainsi les FALs (resp. les cônes rationnels) M ne contenant strictement aucun FAL (resp. cône rationnel) autre que la famille Rat des langages rationnels. S. Greibach [8] a prouvé, par un argument, diagonal, l’existence d’au moins deux tels cônes. Cependant, aucune telle famille n’est connue. Nous présentons ici deux résultats:

  • le premier décrit une suite infinie strictement décroissante de cônes rationnels (resp. FALs) engendrés par des langages bornés.

  • le second établit la minimalité, relativement â une sous-famille de cônes (resp. de FALs) de trois cônes rationnels principaux (resp. trois FALs principales) donnés explicitement.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 44.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 59.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J.M. AUTEBERT, J. BEAUQUIER.- Une caractérisation des générateurs standard. Institut de Programmation, Paris, N° I.P. 73. 14, (1973).

    Google Scholar 

  2. J. BERSTEL.- Une hiérarchie des Parties rationnelles de N2. Math, Systems Theory 7 (1973), 114–137.

    Article  MathSciNet  MATH  Google Scholar 

  3. J. BERSTEL.- Sur une conjecture de S. Greibach, (à paraître).

    Google Scholar 

  4. S. EILENBERG.- Communication personnelle.

    Google Scholar 

  5. S. EILENBERG, M.P. SCHUTZENBERGER.- Rational sets in commutative monoïds, J. Algebra 13 (1969), 173–191.

    Article  MathSciNet  MATH  Google Scholar 

  6. S. GINSBURG.- The Mathematical Theory of Context-Free Languages, Mc Graw-Hill, New York, 1966.

    Google Scholar 

  7. S. GINSBURG, S. GREIBACH.- Abstract Families of Languages, in: Memoirs of the American Math. Soc. 87, Providence, 1969.

    Google Scholar 

  8. S. GREIBACH.- Communication personnelle.

    Google Scholar 

  9. R. ITO.- Every similinear set is a finite union of disjoint linear sets, J. Comp. Syst. Sc., 3 (1969), 221–231.

    Google Scholar 

  10. M. NIVAT.- Transductions des langages de Chomsky, Annales de l’Institut Four ier, 18 (1968), 339–456.

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut de Programmation, Université Paris 6, France

    J. Berstel

  2. Université Paris 7, France

    L. Boasson

Authors
  1. J. Berstel
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. L. Boasson
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Fachbereich Angewandte Mathematik und Informatik, Universität des Saarlandes, 66 Saarbrücken/BRD, Deutschland

    Jacques Loeckx

Rights and permissions

Reprints and permissions

Copyright information

© 1974 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Berstel, J., Boasson, L. (1974). Une Suite Decroissante de Cônes Rationnels. In: Loeckx, J. (eds) Automata, Languages and Programming. ICALP 1974. Lecture Notes in Computer Science, vol 14. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-21545-6_29

Download citation

  • DOI: https://doi.org/10.1007/978-3-662-21545-6_29

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-06841-9

  • Online ISBN: 978-3-662-21545-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation