Solving word equations

Habib Abdulrab

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications (1990)

  • Volume: 24, Issue: 2, page 109-130
  • ISSN: 0988-3754

How to cite

top

Abdulrab, Habib. "Solving word equations." RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications 24.2 (1990): 109-130. <http://eudml.org/doc/92352>.

@article{Abdulrab1990,
author = {Abdulrab, Habib},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications},
keywords = {word equations; Makanin's algorithm},
language = {eng},
number = {2},
pages = {109-130},
publisher = {EDP-Sciences},
title = {Solving word equations},
url = {http://eudml.org/doc/92352},
volume = {24},
year = {1990},
}

TY - JOUR
AU - Abdulrab, Habib
TI - Solving word equations
JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY - 1990
PB - EDP-Sciences
VL - 24
IS - 2
SP - 109
EP - 130
LA - eng
KW - word equations; Makanin's algorithm
UR - http://eudml.org/doc/92352
ER -

References

top
  1. 1. H. ABDULRAB, Résolution d'équations sur les mots: Étude et Implémentation LISP de l'Algorithme de Makanin, Thèse, Université of Rouen, 1987. And Rapport L.I.T.P. 87-25, University of Paris-VII, 1987. 
  2. 2. H. ABDULRAB, Implementation of Makanin's Algorithm, Rapport L.I.T.P. 87-72, octobre 1987. 
  3. 3. F. FAGES and G. HUET, Complete Sets of Unifiers and Matchers in Equational Theories, Theoretical Computer Science, Vol. 43, 1986, pp. 189-200. Zbl0615.03002MR855971
  4. 4. W. M. FARMER, A Unification Algorithm For Second-Order Monadic Terms. The Mitre Corporation, Bedford, Massachusettes, 10, 1986. 
  5. 5. J. GATHEN and M. SIEVEKING, A Bound on Solutions of Linear Integer Equalities and Inequalities, Proc. of Amer. Math. Soc., 1978, pp. 155-158. Zbl0397.90071MR500555
  6. 6. R. E. GOMORY, An Algorithm For Integer Solutions to Linear Programs, Recent advances in mathematical programming, R. L. GRAVES et P. WOLFE Ed., p. 269-302. Zbl0235.90038MR174390
  7. 7. Yu. I. HMELEVSKII, Equations in Free Semigroups, Trudy Mat. In st. Steklov, Vol. 107, 1971. Zbl0326.02032
  8. 8. G. HUET, An Algorithm to Generate the Basis of Solutions to Homogeneous Linear Diophantine Equations, Inf. Proc. Let., Vol. 7, (3), 1978, pp. 144-145. Zbl0377.10011MR472681
  9. 9. A. LENTIN, Équations dans les monoïdes libres, Gauthier-Villars, Paris, 1972. Zbl0258.20058MR333034
  10. 10. A. LENTIN et M. P. SCHUTZENBERGER, A Combinatorial Problem in the Theory of Free Monoids, Proc. of the University of North-Carolina, 1967, pp. 128-144. Zbl0221.20076MR251158
  11. 10. M. LOTHAIRE, Combinatorics on Words, Addison-Wesley Publishing Company, 1983. Zbl0514.20045MR675953
  12. 11. G. S. MAKANIN, The Problem of Solvability of Equations in a Free Semigroup, Mat. Sb., 9 Vol. 103, (145), 1977, pp. 147-236. English transl. in Math. U.S.S.R. Sb., Vol. 32, 1977. Zbl0371.20047MR470107
  13. 12. J. P. PÉCUCHET, Équations avec constantes et Algorithme de Makanin, Thèse, University of Rouen, 1981. 
  14. 13. J. P. PÉCUCHET, Solutions principales et rang d'un système d'équations avec constantes dans le monoïde libre, Discrete Mathematics, Vol. 48, 1984, pp. 253-274. Zbl0545.20046MR737270
  15. 14. D. PERRIN, Equations in Words: a Survey, Proceeding of the Colloquium on Resolution of Equationsin Algebraic Structures (CREAS), Austin, 1987 (to appear). MR1053472

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.