×
罗纳德·布朗;尼尔·加尼;安妮·海沃斯;克里斯托弗·温斯利。

双陪集系统的字符串重写。 （英语） Zbl 1126.20022号

J.塞姆。计算。 41，第5期，573-590（2006）.
摘要：我们展示了如何应用字符串重写方法来给出计算双陪集的新方法。以前的双陪集方法是枚举的，因此仅限于有限的例子。我们的重写方法不受此限制，并且我们给出了一些无限双陪集系统的例子，现在可以使用我们的方法轻松地解决这些问题。即使同时存在枚举和重写技术，我们的重写方法也将具有竞争力，因为它们（i）不需要陪集的初步计算；以及（ii）与单个陪集问题一样，有许多例子表明重写比枚举更有效。
自动机提供了在无限情况下识别正常形式表达式的方法，我们将展示如何在此设置中构造它们。此外，还利用了有关幺半群表示的日志字符串重写的相关结果，以显示如何为计算提供见证，以及如何提取有关子组及其之间关系的信息。最后，我们讨论了双陪集问题是如何计算范畴的诱导作用问题的特例，这表明我们的重写方法适用于比双陪集更广泛的一类问题。

引用于1文件

MSC公司：

2010年1月20日 单词问题、其他决策问题、与逻辑和自动机的联系（群体理论方面）
20F05型 组的生成器、关系和表示
2012年第68季度 语法和重写系统
2005年5月20日 自由半群，生成器和关系，单词问题
20立方米 自动机理论、语言学等中的半群。

关键词：

双陪集;字符串重写;Knuth-Bendix程序;诱导作用;左Kan扩展;幺半群表示;子群的生成器;自由幺半群;常规语言

软件：

AUTOMATA公司;坎;自动机;间隙
PDF格式BibTeX公司 XML格式引用
\textit｛R.Brown｝等人，J.Symb。计算。41，第5号，573--590（2006；Zbl 1126.20022）
全文： 内政部 arXiv公司

参考文献：

[1] Book，R.公司。；Otto，F.，String-rewriting Systems（1993），Springer-Verlag:Springer-Verlag纽约·Zbl 0832.68061号
[2] 布朗，R。；海沃思，A.，《使用重写系统计算左Kan扩张和范畴的诱导作用》，J.符号计算。，29, 1, 5-31 (2000) ·Zbl 0941.18005号
[3] Butler，G.，双陪集和搜索小群，（第四届ACM符号和代数计算研讨会论文集（1981），雪鸟：雪鸟UT），182-187·Zbl 0486.20002号
[4] Butler，G.（Dimino’s Algorithm.Dimino算法，《计算科学讲义》，第559卷（1991年）），13-23
[5] Cohen，D.I.A.，《计算机理论导论》（1991），John Wiley and Sons Inc.：John Willey and Sons Inc，纽约
[6] Curtis，R.T.，《对称演示》。I.引言，特别提到了Mathieu群（M_{12}）和（M_[24}），（群、组合数学和几何）（达勒姆，1990）。分组，组合数学与几何（Durham，1990），伦敦数学。Soc.课堂讲稿Ser。，第165卷（1992），剑桥大学出版社：剑桥大学出版社，380-396·Zbl 0812.20002号
[7] 德尔加多，M。；林顿，S。；Morais，J.E.，2005年。GAP包Automata
[8] GAP，2004年。GAP-组、算法和编程，4.4版。GAP集团
[9] 加尼，N。；Heyworth，A.，《Reidenmeister-Schreier的改写替代方案》，（改写技术与应用，改写技术和应用，计算机科学讲义，第2706卷（2003），Springer:Springer Berlin），452-466·Zbl 1038.68152号
[10] Helmink，A.J。；Brion，M.，旗变种中对称子群的在轨闭包，Canad。数学杂志。，52, 2, 265-292 (2000) ·Zbl 0972.14039号
[11] 海沃思，A.，1999年。重写系统和Groebner基在计算Kan扩展和关系之间的恒等式中的应用。博士论文。威尔士大学，班戈；海沃思，A.，1999年。重写系统和Groebner基在计算Kan扩展和关系之间的恒等式中的应用。博士论文。威尔士大学，班戈
[12] 海沃斯，A.，约翰逊，M.，2005年。对幺半群表示进行日志重写。莱斯特大学技术代表。http://arxiv.org/abs/math.CO/0507344; 海沃思，A.，约翰逊，M.，2005年。对幺半群表示进行日志重写。莱斯特大学技术代表。http://arxiv.org/abs/math.CO/0507344
[13] 海沃思，A。；温斯利，C.D.，《记录改写和关系人之间的身份》，（《牛津大学圣安德鲁斯小组2001》，第一卷，《牛津大学圣安德鲁斯小组》，第一册，伦敦数学学院讲稿，第304卷（2003），剑桥大学出版社：剑桥大学出版社），256-276·邮编：1049.20020
[14] 海沃思，A。；温斯利，C.D.，2005年。Kan，版本0.91
[15] 霍尔特，D.F.，《沃里克自动群软件》（The Warwick automatic groups software），（无限群的几何和计算透视图（明尼阿波利斯，明尼苏达州和新泽西州新不伦瑞克，1994）。无限群的几何和计算视角（明尼苏达州明尼阿波利斯市和新泽西州新不伦瑞克市，1994年），DIMACS Ser。离散数学。理论。计算。科学。，第25卷（1996），美国。数学。Soc.：美国。数学。佛罗里达州普罗维登斯Soc.Providence），69-82·Zbl 0932.20037号
[16] 霍尔特，D.F。；艾克，B。；O'Brien，E.A.，《计算群论手册》（离散数学及其应用（博卡拉顿）（2005），查普曼和霍尔/CRC：查普曼与霍尔/CRC博卡拉顿，佛罗里达州）·Zbl 1091.20001号
[17] Knuth，D.E。；Bendix，P.B.，《泛代数中的简单单词问题》，（《抽象代数中的计算问题》（Proc.Conf.，Oxford，1967）（1970），佩加蒙：佩加蒙-牛津），263-297·Zbl 0188.04902号
[18] Laue，R.，《生成可解群的计算双陪集代表》，（EUROCAM.EUROCAM，《计算科学讲义》，第144卷（1982），Springer），65-70·Zbl 0547.20019号
[19] Lawson，M.V.，有限自动机（2004），查普曼和霍尔/CRC：查普曼与霍尔/CRC博卡拉顿，佛罗里达州·Zbl 1086.68074号
[20] Linton，S.A.，双陪集枚举，J.符号计算。，12，4-5，415-426（1991），计算群论，第2部分·Zbl 0789.20032号
[21] Mac Lane，S.，（工作数学家的类别。工作数学家类别，数学研究生教材，第5卷（1998年），Springer-Verlag:Springer-Verlag纽约）·Zbl 0906.18001号
[22] MAGMA，2005年。MAGMA，版本V2.11-15。悉尼大学计算代数小组
[23] Pletsch，B.，2001年。用计算机代数研究Young群双陪集。阿尔伯克基技术职业学院技术代表摘要。http://www.jssac.org/Conference/ACA/general/pletsch.pdf; Pletsch，B.，2001年。用计算机代数研究Young群双陪集。技术代表技术职业学院，阿尔伯克基文摘。http://www.jssac.org/Conference/ACA/general/pletsch.pdf
[24] Ruch，E。；Klein，D.J.，《化学和物理中的双陪集》，理论。蜂鸣器。学报。，63, 447-472 (1983)
[25] Sims，C.C.，《有限呈现群的计算》（1994），剑桥大学出版社·Zbl 0828.20001
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。