[MathJax开]
曼努埃尔·德尔加多
电子邮件：mdelgado@fc.up.pt
主页：网址：https://cmup.fc.up.pt/cmup/mdelgado/
地址：
马特马提卡省-城市立面
波尔图
葡萄牙
史蒂夫·林顿
电子邮件：steve.linton@st-andrews.ac.uk公司
主页：http://www-groups.dcs.st-and.ac.uk/~萨尔/
地址：
计算机科学学院
圣安德鲁斯大学
杰克·科尔大厦，北哈
圣安德鲁斯，法夫，KY16 9SX
大不列颠联合王国
何塞·若昂·莫利斯
地址：
未知地址
版权
©2004 Manuel Delgado、Steve Linton和JoséMorais版权所有
自动化包是自由软件；您可以重新发布和/或根据通用公共许可证由自由软件基金会出版；许可证的版本2或（根据您的选择）任何更高版本。有关详细信息，请参阅软件包中包含的文件“GPL”或FSF自己的网站。
致谢
第一位作者希望感谢Cyril Nicaud和Paulo Varandas在编写本软件包的第一个版本的一些函数时提供的帮助。他还要感谢西里尔·尼科德、维托尔·费尔南德斯、珍妮·埃里克·宾和豪尔赫·阿尔梅达的有益讨论和评论。
第一作者还通过CMUP以及FCT和POCTI项目POCTI/32817/MAT/2000感谢FCT的支持，该项目是与欧洲共同体基金会FEDER合作资助的。
第三位作者通过波尔图马提马提卡大学中心（Centro de Matemática da Universidade do Porto）提供的奖学金，感谢对FCT和POCTI项目的财政支持。
作者要感谢Mark Kambits在发现漏洞和为改进此软件包提出建议方面所做的贡献。
关于维护：
第一作者（部分）得到以下人士的支持：
技术基金会项目PTDC/MAT/65481/2006；
这个波尔图马特马提卡大学中心（CMUP），特别是在CMUP由
欧洲区域发展基金通过COMPETE项目和葡萄牙政府通过FCT-Fundaçáo para a Ciéncia e a Tecnologia在PEst-C/MAT/UI0144/2011项目下设立；
第一作者想感谢CMUP（UID/MAT/00144/2013和UID/MAT/200144/2019）的部分支持，该基金由FCT（葡萄牙）根据合作协议PT2020，通过FEDER项目，利用国家（MEC）和欧洲结构基金提供资金。
科洛芬
这项工作始于1998年，当时第一位作者在巴黎第七大学的LIAFA做博士后。在J.E.Pin的鼓励下，他于年开始实施间隙在回答J.Almeida提出的有限半群领域的问题之前，获得了一个算法的3。
自动机上这个包的第一个版本是由第一位作者编写的，他给了它一个间隙共享包。在第一和第三作者编写的第二个版本中，添加了许多功能，并且改进了许多现有功能的性能。当第二位作者加入小组时，取得了进一步的重要进步，特别是在性能方面。第一位作者特别感谢Max Horn的帮助，他使版本1.14和1.15的发布变得更加容易。
自版本1.12以来，包由前两位作者维护。当然，欢迎提供错误报告、建议和评论。请使用我们的电子邮件地址。