scientific article; zbMATH DE number 17526

MaRDI QIDQ3974850zbMATH OpenFDO

Authors Habib Abdulrab, Jean-Pierre Pecuchet

Publication date 26 June 1992

zbMATH Keywords

algorithmsunification algorithmpig pug methodsolving word equations

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Free semigroups, generators and relations, word problems (20M05) Semigroups in automata theory, linguistics, etc. (20M35)

Recommendations

• Solving word equations
• Makanin's algorithm for word equations-two improvements and a generalization
• Solving word equations
• Efficient solving of the word equations in one variable
• Word unification and transformation of generalized equations

Cited in

(10)

• Word unification and transformation of generalized equations
• On the Solvability Problem for Restricted Classes of Word Equations
• Solving word equations
• Equations in words: An algorithmic contribution
• Advances in Artificial Intelligence – SBIA 2004
• On maximal chains of systems of word equations
• More than 1700 years of word equations
• Solving word equations
• Makanin's algorithm for word equations-two improvements and a generalization
• Implementation of Makanin's Algorithm

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3974850)