论文信息 - Solutions principales et rang d'un système d'équations avec constantes dans le monoïde libre - 字舞流文

Solutions principales et rang d'un système d'équations avec constantes dans le monoïde libre

We extend Lentin's and Makanin's results concerning the solutions' structure and the rank of a constant free equation to the case of a system of equations with constants.

Jean-Pierre Pécuchet

[1] G. Huet,et al. Equations and rewrite rules: a survey , 1980 .

[2] André Lentin. Equations in Free Monoids , 1972, ICALP.

[3] Jean-Pierre Pécuchet. Sur la Determination du Rang d'une Equation dans le Monoide Libre , 1981, Theor. Comput. Sci..

[4] R. Lyndon. Equations in free groups , 1960 .

[5] Karel Culik,et al. Test Sets for Homomorphism Equivalence on Context Free Languages , 1980, Inf. Control..

[6] P. Cohn. Free rings and their relations , 1973 .

[7] A. Lentin. Équations dans les monoïdes libres , 1972 .

[8] G. Makanin. The Problem of Solvability of Equations in a Free Semigroup , 1977 .

[9] Dana Angluin,et al. Finding Patterns Common to a Set of Strings , 1980, J. Comput. Syst. Sci..

[10] Grzegorz Rozenberg,et al. The mathematical theory of L systems , 1980 .

[11] J. Berstel,et al. Sur le théorème du défaut , 1979 .

[12] R. Lyndon,et al. Combinatorial Group Theory , 1977 .

[13] G S Makanin. On the Rank of Coefficientless Equations in Four Unknowns in a Free Semigroup , 1976 .