Warwick自动组软件
The Warwick Automatic Groups Software
摘要：
本文描述了Warwick AUTOMATA软件包用于计算与短lex自动群相关的有限状态自动机的算法。其目的是提供整个过程的概览，而不是集中于技术细节，这些细节已经在其他地方发表。还描述了一些相关的程序。
英文摘要：
This paper provides a description of the algorithms employed by the Warwick AUTOMATA package for calculating the finite state automata associated with a short-lex automatic group. The aim is to provide an overview of the whole process, rather than concentrating on technical details, which have been already been published elsewhere. A number of related programs are also described.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
