Mathematics – Group Theory
Scientific paper
1998-05-12
Mathematics
Group Theory
41 pages. In LaTeX2e using the packages amsmath, amssymb, xspace, epic. Submitted to Internat. J. Algebra Comput
Scientific paper
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.
Epstein David B. A.
Sanders Paul J.
No associations
LandOfFree
Automatic Groups and Knuth-Bendix with Infinitely Many Rules does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Automatic Groups and Knuth-Bendix with Infinitely Many Rules, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Automatic Groups and Knuth-Bendix with Infinitely Many Rules will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-636026