Advertisement

Les systemes entiers d'equations sur un alphabet de 3 variables

  • Jean-Claude Spehner
Conference paper
Part of the Lecture Notes in Mathematics book series (LNM, volume 1320)

Résumé

Nous rappelons d'abord que les équations d'un système entier S d'équations sur un alphabet fini sont générées par un graphe fini.

Dans [Spe 78] nous avons montré que tout sous-monoīde non commutatif C* de monoīde libre tel que card C = 3 admet une présentation (Σ,φ) avec card ρ ⩽ 2. En introduisant une notion de caractéristique, nous en déduisons une classification de tous les systèmes entiers de rang 2 sur Σ = {x,y,z}.

Pour tout système S, le plus petit des cardinaux des parties de S équivalentes à S est appelé la dimension de S. Nous montrons que tout système entier S sur Σ = {x,y,z} vérifie l'inégalité dim(S) + rang(S) ⩽ 3.

Une erreur de [Spe 78] est corrigée en annexe.

Keywords

Nous Avons Homomorphisme Continu Free Monoid Encore Note Nous Rappelons 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [AL 85]
    M.H. Albert and J. Lawrence, A proof of Ehrenfeucht's conjecture, T.C.S. 41 (1985), 121–123.MathSciNetzbMATHGoogle Scholar
  2. [BPPR 79]
    J. Berstel, D. Perrin, J.F. Perrot and A. Restivo, Sur le théorème du défaut, J. Algebra 60 (1979), 169–180.MathSciNetCrossRefzbMATHGoogle Scholar
  3. [BM 73]
    L.G. Budkina and Al.A. Markov, On F-semigroups with three generators, Mat. Zamtki 14 (1973) 267–277 (en russe), Math. Notes 14 (1974) 711–717.MathSciNetzbMATHGoogle Scholar
  4. [Eil 74]
    S. Eilenberg, Automata, Languages and Machines, Vol. 1, Academic Press (1974).Google Scholar
  5. [Gub 85]
    V.S. Guba (1985).Google Scholar
  6. [Kar 84]
    J. Karhumäki, The Ehrenfeucht conjecture; a compactness claim for finitely generated free monoids, T.C.S. 29 (1984), 285–308.MathSciNetzbMATHGoogle Scholar
  7. [Lal 79]
    G. Lallement, Semigroups and Combinatorial Applications, Wiley (1979).Google Scholar
  8. [Len 72]
    A. Lentin, Equations dans le monoīde libre, Gauthier-Villars-Mouton (1972).Google Scholar
  9. [LS 67]
    A. Lentin et M.P. Schützenberger, A combinatorial problem in the theory of free monoids, Combinatorial Mathematics, North Carolina Press, Chapel Hill (1967), 112–144.zbMATHGoogle Scholar
  10. [Lot 83]
    M. Lothaire, Combinatorics on words, Addison Wesley (1983).Google Scholar
  11. [Pec 84]
    J.P. Pécuchet, Solutions principales et rang d'un système d'équations avec constantes dans le monoīde libre, Discrete Math. 48 (1984), 253–274.MathSciNetCrossRefzbMATHGoogle Scholar
  12. [Per 85]
    On the solution of Ehrenfeucht's conjecture, Bull. of EATCS 27 (1985), 68–70.Google Scholar
  13. [Sal 85]
    The Ehrenfeucht conjecture: A proof of language Theorists, Bull. of EATCS 27 (9185), 71–82.Google Scholar
  14. [Spe 75]
    J.C. Spehner, Quelques constructions et algorithmes relatifs aux sous-monoīdes d'un monoīde libre, Semigroup Forum, 9 (1975), 334–353.MathSciNetCrossRefzbMATHGoogle Scholar
  15. [Spe 76a]
    J.C. Spehner, On external conjugation of submonoids of a free monoid, Algebraic Theory of semigroups, Szeged (1976), vol. 20, Noth-Holland, 545–576.Google Scholar
  16. [Spe 76b]
    J.C. Spehner, Quelques problèmes d'extension, de conjugaison et de présentation des sous-monoīdes d'un monoīde libre, Thèse Paris (1976).Google Scholar
  17. [Spe 78]
    J.C. Spehner, Les présentations des sous-monoīdes de rang 3 d'un monoīde libre, Lecture Notes in Math. 855, Semigroups (1978), 116–155.MathSciNetCrossRefGoogle Scholar
  18. [Spe 85]
    J.C. Spehner, Systèmes entiers d'équations sur un alphabet fini et conjecture d'Ehrenfeucht, T.C.S. 39 (1985), 171–188.MathSciNetzbMATHGoogle Scholar

Copyright information

© Springer-Verlag 1988

Authors and Affiliations

  • Jean-Claude Spehner

There are no affiliations available

Personalised recommendations