Complete involute rewriting systems

Gareth A. Evans; Christopher D. Wensley

doi:10.1016/j.jsc.2007.07.005

Complete involute rewriting systems

Gareth A. Evans
, Christopher D. Wensley

Allbwn ymchwil: Cyfraniad at gyfnodolyn › Erthygl › adolygiad gan gymheiriaid

Crynodeb

Given a monoid string rewriting system M, one way of obtaining a complete rewriting system for M is to use the classical Knuth–Bendix critical pairs completion algorithm. It is well-known that this algorithm is equivalent to computing a noncommutative Gröbner basis for M. This article develops an alternative approach, using noncommutative involutive basis methods to obtain a complete involutive rewriting system for M.

Iaith wreiddiol	Saesneg
Tudalennau (o-i)	1034-1051
Cyfnodolyn	Journal of Symbolic Computation
Cyfrol	42
Dynodwyr Gwrthrych Digidol (DOIs)	https://doi.org/10.1016/j.jsc.2007.07.005
Statws	Cyhoeddwyd - 2007

Mynediad at Ddogfen

10.1016/j.jsc.2007.07.005Trwydded: !!Other

Dyfynnu hyn

@article{63af85f5319a4922a49a658d0bc6e220,

title = "Complete involute rewriting systems",

abstract = "Given a monoid string rewriting system M, one way of obtaining a complete rewriting system for M is to use the classical Knuth–Bendix critical pairs completion algorithm. It is well-known that this algorithm is equivalent to computing a noncommutative Gr{\"o}bner basis for M. This article develops an alternative approach, using noncommutative involutive basis methods to obtain a complete involutive rewriting system for M.",

keywords = "Groebner basis, string rewriting, Knuth-Bendix, involute basis",

author = "Evans, \{Gareth A.\} and Wensley, \{Christopher D.\}",

year = "2007",

doi = "10.1016/j.jsc.2007.07.005",

language = "English",

volume = "42",

pages = "1034--1051",

journal = "Journal of Symbolic Computation",

publisher = "Academic Press",

}

TY - JOUR

T1 - Complete involute rewriting systems

AU - Evans, Gareth A.

AU - Wensley, Christopher D.

PY - 2007

Y1 - 2007

N2 - Given a monoid string rewriting system M, one way of obtaining a complete rewriting system for M is to use the classical Knuth–Bendix critical pairs completion algorithm. It is well-known that this algorithm is equivalent to computing a noncommutative Gröbner basis for M. This article develops an alternative approach, using noncommutative involutive basis methods to obtain a complete involutive rewriting system for M.

AB - Given a monoid string rewriting system M, one way of obtaining a complete rewriting system for M is to use the classical Knuth–Bendix critical pairs completion algorithm. It is well-known that this algorithm is equivalent to computing a noncommutative Gröbner basis for M. This article develops an alternative approach, using noncommutative involutive basis methods to obtain a complete involutive rewriting system for M.

KW - Groebner basis, string rewriting, Knuth-Bendix, involute basis

U2 - 10.1016/j.jsc.2007.07.005

DO - 10.1016/j.jsc.2007.07.005

M3 - Article

VL - 42

SP - 1034

EP - 1051

JO - Journal of Symbolic Computation

JF - Journal of Symbolic Computation

ER -

Complete involute rewriting systems

Crynodeb

Mynediad at Ddogfen

Ôl bys

Dyfynnu hyn