自动 swMATH ID: 59 软件作者: Champarnaud,J.M。;Hansel,G。 描述: AUTOMATE,一个用于自动机和有限半群的计算包。AUTOMATE是一个用编程语言C编写的程序包,它允许计算有理语言的确定性非完全极小自动机和确定性自动机的转移幺半群。处理这些对象的C函数库也是可用的,并且是AUTOMATE实现的基础。语言可以由扩展的有理表达式或转换表定义。可以计算过渡幺半群的几个性质,例如:它的元素列表、定义幺半群时的一组关系、正则元素和幂等元素的数量以及有关格林关系类的信息ℛ, ℒ, ℋ, 和关系𝒟=ℛ∘ℒ. 给出了用于计算的主要结果。格林的关系是最有力的工具。最后,详细显示了AUTOMATE的一个长的、注释良好的运行示例。 主页: http://www.sciencedirect.com/science/article/pii/S0747717108801253 关键词: 有限自动机;最小自动机;理性语言;过渡幺半群;有理表达式;格林的关系 相关软件: 圣杯;AMoRE公司;AG公司;半群;libsemigroups;半群;单色;球体;SageMath公司;岩浆;间隙;MONA公司;雷克斯;NuSMV公司;COMPAS公司;促进;沃康松;测试;快速排序;语言 引用于: 13文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 AUTOMATE,自动机和有限半群的计算包。 Zbl 0804.68096号查姆帕诺,J.M。;Hansel,G。 1991 全部的 前5名25位作者引用 2 卡隆,帕斯卡 2 Jean-Marc Champarnaud公司 2 Jean-Gabriel卢克 2 韦尔·帕斯卡 1 克日什托夫·克米埃尔 1 亚历山德罗·西马蒂 1 杰拉德·亨利·爱德蒙·杜尚 1 东部,詹姆斯 1 阿提拉·埃格里·纳吉 1 玛丽安·弗洛伊特 1 乔治·汉塞尔 1 蒂莫·克努提拉 1 Janusz Konieczny公司 1 埃里克·劳格洛特 1 詹姆斯·米切尔。 1 塞尔吉奥·莫弗 1 布鲁诺·帕特鲁 1 佩雷斯,Yann H。 1 销,Jean-Eric 1 J.拉纳德。 1 亚当·罗曼 1 马可·罗维里 1 斯特凡诺·托内塔 1 托纳,L.E。 1 杰卢尔·齐亚迪 4篇连载文章中引用 4 理论计算机科学 2 半群论坛 2 符号计算杂志 1 RAIRO公司。理论信息学及其应用 在3个字段中引用 11 计算机科学(68至XX) 5 群论与推广(20-XX) 1 一般代数系统(08-XX) 按年份列出的引文