The Warwick automatic groups software
The Warwick automatic groups software
复制标题
Warwick 自动分组软件
DOI：
--
复制
发表时间：
1995
期刊：
影响因子：
--
通讯作者：
D. Holt
中科院分区：
文献类型：
--
作者：
D. Holt
本文描述了 Warwick AUTOMATA 包所采用的算法，用于计算与短词法自动群相关的有限状态自动机。目的是提供整个过程的概述，而不是专注于已经在其他地方发布的技术细节。还描述了许多相关程序。
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.