Skip to main content

Advertisement

Springer Nature Link
Log in

Indépendance forte de certaines opérations

Strong independence of certain operations

  • Published:
Acta Informatica Aims and scope Submit manuscript

Summary

Using properties of operations compelled by an operator introduced in [17, 19, 20] and technics developed in [12], we compare the operations of marked star, chevron, bracket, open bracket, homomorphic replication and substitution. Dependence or strong independence of these operations are then established.

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

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

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

Bibliographie

  1. Autebert, J.M., Boasson, L., Cousineau, G.: A note on 1-locally-linear languages. Information and Control 37, 1–4 (1978)

    Google Scholar 

  2. Baker, B., Book, R.V.: Reversal-bounded multi-pushdown machines. J. Comput System Sci. 8, 315–332 (1974)

    Google Scholar 

  3. Boasson, L., Crestin, J.P., Nivat, M.: Familles de langages translatables et fermées par crochet. Acta Informat. 2, 383–393 (1973)

    Google Scholar 

  4. Boasson, L., Nivat, M.: Sur diverses familles de langages fermées par transduction rationelle. Acta Informat. 2, 180–188 (1973)

    Google Scholar 

  5. Book, R.V., Greibach, S.: The independence of certain operations on semi AFLs. RAIRO Inform. Théorique, 12, 369–385 (1978)

    Google Scholar 

  6. Elgot, C.C., Mezei, J.F.: On relations defined by generalized finite automata IBM J. Res. Develop. 9, 47–68 (1962)

    Google Scholar 

  7. Ginsburg, S., Greibach, S.: Principal AFL. J. Comput. System. Sci. 4, 308–338 (1970)

    Google Scholar 

  8. Ginsburg, S., Spanier, E.H.: AFL with the semilinear property. J. Comput. System Sci. 5, 365–396 (1971)

    Google Scholar 

  9. Greibach, S.: Chains of full AFLs. Math. Syst. Theory 4, 231–242 (1970)

    Google Scholar 

  10. Greibach, S.: Syntactic operators on full semi AFLs. J. Comput. System Sci. 6, 30–76 (1972)

    Google Scholar 

  11. Greibach, S.: Control sets on context-free grammar forms. J. Comput. System Sci. 15, 35–98 (1977)

    Google Scholar 

  12. Greibach, S.: Independence of substitution and homomorphic replication. RAIRO Inform. Theorique 12, 213–234 (1978)

    Google Scholar 

  13. Greibach, S.: One-way finite visit automata. Theor. Comput. Sci. 6, 175–222 (1978)

    Google Scholar 

  14. Greibach, S., Hopcroft, J.E.: Independence of AFL operations, in Studies in Abstract Families of Languages. Mem. Amer. Math. Soc. 87, 33–40 (1969)

    Google Scholar 

  15. Latteux, M.: Substitutions dans les EDTOL systèmes ultralinéaires. Information and Control 42, 194–260 (1979)

    Google Scholar 

  16. Ogden, W.F.: A helpful result in proving hinerent ambiguity, Math. Systems Theory 2, 191–194 (1968)

    Google Scholar 

  17. Rodriguez, F.: Note sur la non principalité de certaines FAL. RAIRO Infor. Theorique 12, 181–184 (1978)

    Google Scholar 

  18. Rodriguez, F.: Familles de langages fermées par crochet ouvert. Theor. Comput. Sci. 9, 385–398 (1979)

    Google Scholar 

  19. Rodriguez, F.: Contribution à l'étude des opérations sur les langages et des opérateurs sur les familles de langages. Thèse d'état, Université Paul Sabatier, Toulouse (1979)

    Google Scholar 

  20. Rodriguez, F.: Compelled operations and operations of degree p. Math. Systems Theory. (1980, in press)

  21. Siromoney, R.: On equal matrix languages. Information and Control 14, 135–161 (1969)

    Google Scholar 

  22. Van der Walt, A.: Locally linear families of languages, Information and Control 32, 27–32 (1976)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. E.N.S.E.E.I.H.T., 2, Rue Camichel, 31071, Toulouse Cedex, France

    F. Rodriguez

  2. Langages et Systèmes Informatiques, ERA 298, Université Paul Sabatier, 31077, Toulouse Cedex, France

    F. Rodriguez

Authors
  1. F. Rodriguez
    View author publications

    You can also search for this author inPubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Rodriguez, F. Indépendance forte de certaines opérations. Acta Informatica 15, 153–166 (1981). https://doi.org/10.1007/BF00288963

Download citation

  • Received:

  • Issue Date:

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