Using groups for investigating rewrite systems Export

@misc{citeulike:849699, abstract = {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.}, archivePrefix = {arXiv}, author = {Dehornoy, Patrick}, citeulike-article-id = {849699}, citeulike-linkout-0 = {http://arxiv.org/abs/cs/0609102}, citeulike-linkout-1 = {http://arxiv.org/pdf/cs/0609102}, day = {18}, eprint = {cs/0609102}, keywords = {groups, rewriting}, month = {Sep}, posted-at = {2006-09-19 13:22:24}, priority = {2}, title = {Using groups for investigating rewrite systems}, url = {http://arxiv.org/abs/cs/0609102}, year = {2006} }

TY - ELEC ID - citeulike:849699 L3 - citeulike-article-id:849699 N2 - 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. TI - Using groups for investigating rewrite systems KW - groups KW - rewriting AU - Dehornoy, Patrick PY - 2006/Sep/18/ UR - http://arxiv.org/abs/cs/0609102 ER -