Can I read The use of Knuth-Bendix methods to solve the wordproblem in automatic groups on EtoBox?

The use of Knuth-Bendix methods to solve the wordproblem in automatic groups by D.B.A. Epstein; D.F. Holt; S.E. Rees is a scholarly article available to read on EtoBox.

What is The use of Knuth-Bendix methods to solve the wordproblem in automatic groups about?

Certain classes of infinite groups arising from geometry and topology are known to have solvable word problem. We describe the development of practical methods for the solution of the word problem based on the reduction of words in the generators to a normal form. The Knuth-Bendix completion procedure is the principal tool used but, in the ease that this process does not halt, we use alternative methods involving the construction of finite-state automata. A computer implementation of these procedures together with some performance statistics on some simple examples are also described.

Author

D.B.A. Epstein; D.F. Holt; S.E. Rees

Publisher

Elsevier Science; Elsevier ; Elsevier Inc.; Elsevier BV (ISSN 0747-7171)

Published

1991

Language

EN