子串搜索在群组表示中的应用
Applications of substring searching to group presentations
摘要：
描述群的一个重要方法是有限表示。在实践中出现了不适合人类或计算机使用的大型演示文稿。呈现简化过程已经被开发出来，该过程接受坏的呈现并产生好的呈现。大量使用的子串搜索和适当的技术，这方面进行了说明。有效地使用签名和更改标志。更改标志被证明是这里测试的方法中最有益的，具有非常显着的性能改进。实验性能的数字。
英文摘要：
An important way for describing groups is by finite presentations. Large presentations arise in practice which are poorly suited for either human or computer use. Presentation simplification processes which take bad presentations and produce good presentations have been developed. Substantial use is made of substring searching and appropriate techniques for this context are described. Effective use is made of signatures and change flags. Change flags are shown to be the most beneficial of the methods tested here, with very significant performance improvement. Experimental performance figures are given.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
