Advanced

Regular Grobner bases

Månsson, Jonas LU and Nordbeck, Patrik LU (2002) In Journal of Symbolic Computation 33(2). p.163-181
Abstract
In this paper we introduce the concept of bi-automaton algebras, generalizing the automaton algebras previously defined by Ufnarovski. A bi-automaton algebra is a quotient of the free algebra, defined by a binomial ideal admitting a Grobner basis which can be encoded as a regular set; we call such a Grobner basis regular. We give several examples of bi-automaton algebras, and show how automata connected to regular Grobner bases can be used to perform reduction. (C) 2002 Academic Press.
Please use this url to cite or link to this publication:
author
organization
publishing date
type
Contribution to journal
publication status
published
subject
in
Journal of Symbolic Computation
volume
33
issue
2
pages
163 - 181
publisher
Elsevier
external identifiers
  • wos:000173745400003
  • scopus:0036167484
ISSN
0747-7171
DOI
10.1006/jsco.2001.0500
language
English
LU publication?
yes
id
43c5812e-40c8-4b6b-9652-74439bcd81cf (old id 343793)
date added to LUP
2007-11-19 13:25:13
date last changed
2017-04-09 04:15:19
@article{43c5812e-40c8-4b6b-9652-74439bcd81cf,
  abstract     = {In this paper we introduce the concept of bi-automaton algebras, generalizing the automaton algebras previously defined by Ufnarovski. A bi-automaton algebra is a quotient of the free algebra, defined by a binomial ideal admitting a Grobner basis which can be encoded as a regular set; we call such a Grobner basis regular. We give several examples of bi-automaton algebras, and show how automata connected to regular Grobner bases can be used to perform reduction. (C) 2002 Academic Press.},
  author       = {Månsson, Jonas and Nordbeck, Patrik},
  issn         = {0747-7171},
  language     = {eng},
  number       = {2},
  pages        = {163--181},
  publisher    = {Elsevier},
  series       = {Journal of Symbolic Computation},
  title        = {Regular Grobner bases},
  url          = {http://dx.doi.org/10.1006/jsco.2001.0500},
  volume       = {33},
  year         = {2002},
}