Using groups for investigating rewrite systems

Details Using groups for investigating rewrite systems Using groups for investigating rewrite systems

2006-09-18

arxiv.org/abs/cs/0609102v1

Computer Science

Logic in Computer Science

Scientific paper

We describe several technical tools that prove to be efficient for investigating the rewrite systems associated with a family of algebraic laws, and might be useful for more general rewrite systems. These tools consist in introducing a monoid of partial operators, listing the monoid relations expressing the possible local confluence of the rewrite system, then introducing the group presented by these relations, and finally replacing the initial rewrite system with a internal process entirely sitting in the latter group. When the approach can be completed, one typically obtains a practical method for constructing algebras satisfying prescribed laws and for solving the associated word problem.

Affiliated with

Also associated with

No associations

Rating

Using groups for investigating rewrite systems 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 Using groups for investigating rewrite systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Using groups for investigating rewrite systems will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-647214