Rational cone and substitution

  • Jeannine Leguy
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 117)


Relations between C(L), the rational cone (full trio) generated by L and subsets of C(L) are given which allow to characterize the languages L which verify the relation :
$$\forall L',C(L)\square C(L') = C(L \uparrow L')$$
Languages satisfying this relation are said substitution complete languages.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    J. BEAUQUIER, — A remark about a substitution property (1978). To appear in Math. Syst. Theory.Google Scholar
  2. [2]
    J. BERSTEL, —“Transductions and context-free languages”, Teubner Verlag, 1978.Google Scholar
  3. [3]
    L. BOASSON and M. NIVAT, — Sur diverses familles de languages fermées par transductions rationnelles. Acta Informatica, 2 (1973) 180–188.Google Scholar
  4. [4]
    C.C. ELGOT et J.F. MEZEI, — On relations défined by generalized finite automata. I.B.M. J. Res. Dev. vol 9, (1965) 47–68.Google Scholar
  5. [5]
    S.A. GREIBACH, — Syntaxtic operators on full semi-AFLS. J. Comp. Syst. Sc. 6 (1972), 30–76.Google Scholar
  6. [6]
    S.A. GREIBACH, — Erasing in context-free languages. Information and Control, 29, (1975), 301–326.Google Scholar
  7. [7]
    M. LATTEUX, — Sur les générateurs Algébriques et Linéaires. Acta Informatica 13 (1980), 347–363.Google Scholar
  8. [8]
    M. LATTEUX, — Quelques propriétés des langages à un compteur, 5 th GI, conference. Lecture Notes in Computer Sciences 104, springer (1981) 52–63.Google Scholar
  9. [9]
    M. LATTEUX, — A propos du lemme de substitution, Theoretical Computer Science, 14 (1981), 119–123.Google Scholar
  10. [10]
    J. LEGUY, — Transductions Rationnelles Décroissantes (1979), R.A.I.R.O. Informatique Théorique, Vol. 5, no 2, (1981).Google Scholar
  11. [11]
    J. LEGUY, — Transductions rationnelles décroissantes et substitution. Thèse 3e cycle, Université de Lille I, Lille 1980.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1981

Authors and Affiliations

  • Jeannine Leguy
    • 1
  1. 1.Universite De Lille I Uer Ieea - InformatiqueVilleneuve D'Ascq CédexFrance

Personalised recommendations