【24h】

Regular Grobner bases

机译:常规Grobner基地

获取原文
获取原文并翻译 | 示例
           

摘要

In this paper we introduce the concept of bi-automaton algebras, generalizing the au- tomaton 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.
机译:在本文中,我们介绍了双自动机代数的概念,概括了以前由Ufnarovski定义的自动代数。双自动机代数是自由代数的商,它是由二项式理想定义的,该二项式理想允许Grobner基,可以将其编码为规则集。我们称这种Grobner为基准。我们给出了双自动机代数的几个示例,并显示了如何将连接到常规Grobner基上的自动机用于执行约简。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号