圣杯 swMATH ID: 374 软件作者: 达雷尔·雷蒙德;伍德,德里克 说明: Grail是用于有限状态机、正则表达式和其他形式语言理论对象的符号计算环境。使用Grail,可以输入机器或表达式,将它们从一种形式转换为另一种形式,最小化、确定、补充和执行许多其他操作。Grail旨在用于教学、研究机器的特性以及使用机器进行高效计算。Grail是用C++编写的。可以通过进程库或C++类库访问它。Grail 2.4版允许您操作可参数化的有限状态机和正则表达式。所谓“可参数化”,我们的意思是字母表不限于通常的二十六个字母和十个数字。相反,所有算法都是以类型依赖的方式编写的,因此任何有效的C++基类型和任何用户定义的类型或类都可以定义有限状态机或正则表达式的字母表。Grail 2.4版支持Mealy机器。 主页: https://www.sciencedirect.com/science/article/pii/S074771710236 相关软件: 自动;AMoRE公司;github;核桃;组织环境信息系统;蟒蛇;古伊塔;FAdo公司;沃康松;打开Fst;MONA公司;雷克斯;NuSMV公司;圣杯;卡拉卡拉;伊莎贝尔/HOL;快速排序 引用于: 20文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 圣杯:用于自动机和表达式的C++库。 Zbl 0942.68803号达雷尔·雷蒙德;伍德,德里克 1994 全部的 前5名43位作者引用 6 杰弗里·奥特洛·沙利特 三 伍德,德里克 2 玛格丽塔·阿克曼 2 尤根·阿尔伯特 2 多拉·贾马雷西 1 阿洛奇,Jean-Paul Simon 1 大卫·阿斯皮纳尔 1 杰森·贝尔。 1 伦纳特·贝林格 1 尚帕诺,让-马克 1 亚历山德罗·西马蒂 1 查尔斯·科尔伯恩。 1 杰拉德·亨利·爱德蒙·杜尚 1 玛丽安·弗洛伊特 1 赫尔曼·格鲁伯 1 马丁·霍夫曼 1 马库斯·霍尔泽 1 蒂莫·克努提拉 1 斯塔夫罗斯·康斯坦蒂尼迪斯 1 埃里克·劳格洛特 1 托马斯·利德贝特(Thomas F.Lidbetter)。 1 汉斯·沃夫冈·洛伊德 1 Jean-Gabriel卢克 1 凯西·梅杰尔 1 阿尔贝托·莫米利亚诺 1 内尔玛·莫雷拉 1 塞尔吉奥·莫弗 1 Jan K·帕希尔。 1 Rampersad,纳拉德 1 达雷尔·雷蒙德 1 雷斯·罗热里奥 1 克里斯蒂安·雷托雷 1 韦里德·罗姆·凯达尔 1 马可·罗维里 1 Kai T.Salomaa。 1 萨尔瓦蒂,西尔万 1 斯特凡·施温 1 Segel、Lee Aaron 1 埃利泽·肖查特 1 紫罗兰·R·西罗提克。 1 斯特凡诺·托内塔 1 吴秀明 1 于盛 全部的 前5名7篇连载文章中引用 8 理论计算机科学 1 信息处理信件 1 数学生物学公报 1 符号计算杂志 1 国际计算机科学基础杂志 1 逻辑、语言与信息杂志 1 计算系统理论 全部的 前5名在6个字段中引用 19 计算机科学(68至XX) 三 组合数学(05-XX) 三 数论(11-XX) 2 数理逻辑与基础(03-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文