Showing 1–3 of 3 results for author: Epstein, D B

Knuth-Bendix for groups with infinitely many rules

Authors: D. B. A. Epstein, P. J. Sanders

Abstract: It is shown how to use a small finite state automaton in two variables in order to carry out the Knuth-Bendix process for rewriting words in a group in shortlex order. The two-variable automaton can be used to store an infinite set of rules and to carry out fast reduction of arbitrary words using this infinite set. We introduce a new operation, which we call welding, which applies to an arbitrar… ▽ More It is shown how to use a small finite state automaton in two variables in order to carry out the Knuth-Bendix process for rewriting words in a group in shortlex order. The two-variable automaton can be used to store an infinite set of rules and to carry out fast reduction of arbitrary words using this infinite set. We introduce a new operation, which we call welding, which applies to an arbitrary finite state automaton. We show how to improve on the standard subset construction to determinize a non-deterministic automaton under special conditions which hold in our situation. △ Less

Submitted 6 January, 2000; originally announced January 2000.

Comments: 63 pages, 6 figures. A completely rewritten version of math/9805057. A slightly shortened version of this paper has been accepted by IJAC

MSC Class: 20F10; 20-04; 68Q42 (Primary); 03D40; 20F32 (Secondary)

Computation in word-hyperbolic groups

Authors: David B. A. Epstein, Derek F. Holt

Abstract: We describe a procedure which verifies that a group given by generators and relators is word-hyperbolic. This procedure always works with a group which is word-hyperbolic, provided there is sufficient memory and time devoted to the problem. If the group is not word-hyperbolic, the procedure continues indefinitely. We also describe a procedure which computes the thinness of geodesic triangles in… ▽ More We describe a procedure which verifies that a group given by generators and relators is word-hyperbolic. This procedure always works with a group which is word-hyperbolic, provided there is sufficient memory and time devoted to the problem. If the group is not word-hyperbolic, the procedure continues indefinitely. We also describe a procedure which computes the thinness of geodesic triangles in the Cayley graph of a word-hyperbolic group. Again this procedure is bound to work, given sufficient memory and time. △ Less

Submitted 3 November, 1998; originally announced November 1998.

Comments: 23 pages, 7 figures, 2 tables

MSC Class: 20F32 (primary); 20F10 (secondary)

Automatic Groups and Knuth-Bendix with Infinitely Many Rules

Authors: D. B. A. Epstein, Paul J. Sanders

Abstract: It is shown how to use a small finite state automaton in two variables in order to carry out part of the Knuth--Bendix process for rewriting words in a group. The main objective is to provide a substitute for the most space-demanding module of the existing software which attempts to find a shortlex-automatic structure for a group. The two-variable automaton can be used to store an infinite set o… ▽ More It is shown how to use a small finite state automaton in two variables in order to carry out part of the Knuth--Bendix process for rewriting words in a group. The main objective is to provide a substitute for the most space-demanding module of the existing software which attempts to find a shortlex-automatic structure for a group. The two-variable automaton can be used to store an infinite set of rules and to carry out fast reduction of arbitrary words using this infinite set. We introduce a new operation, which we call welding, which applies to an arbitrary finite state automaton. In our context this operation is vital. We point out a small potential improvement in the subset algorithm for making a non-deterministic automaton deterministic. △ Less

Submitted 12 May, 1998; originally announced May 1998.

Comments: 41 pages. In LaTeX2e using the packages amsmath, amssymb, xspace, epic. Submitted to Internat. J. Algebra Comput

MSC Class: 20F10; 20-04; 68Q42 (Primary) 03D40; 20F32 (Secondary)