Publication:3974850

zbMath0764.20028MaRDI QIDQ3974850

Jean-Pierre Pecuchet, Habib Abdulrab

Publication date: 26 June 1992

zbMATH Keywords

algorithms; unification algorithm; pig pug method; solving word equations

Mathematics Subject Classification ID

20M05: Free semigroups, generators and relations, word problems

20M35: Semigroups in automata theory, linguistics, etc.

68Q42: Grammars and rewriting systems