VP别名 swMATH ID: 24344 软件作者: Nguyen H。 描述: 最近由Alur和Madhusudan[1]引入的可视下推自动机(VPA)是一种特殊的下推自动机,它对输入字母表进行操作,这些字母表被划分为三组不相交的调用、返回和局部符号。相应的可视下推语言类(VPL)已被证明具有常规语言所具有的许多理想属性。VPL在并、交、补、连和Kleene星下闭合。我们还可以从一个非确定性的推下自动机构造一个确定性的可视自动机。我们实现了一个原型VPA库(VPAlib),以提供对VPA的基本操作,从而支持组件协议的VPA实验。该库是使用Java5编写的,目前仍在测试和开发中。当前版本的VPAlib 0.1提供了以下VPA操作:闭合操作,包括并集、交集和Kleene-star。确定性:从非确定性自动机构造一个确定性的可视下推自动机。我们计划使用VPAlib来构建基于VPA的组件协议,然后使用对VPA的操作来分析这些协议的属性。 主页: http://web.imt-atlantique.fr/x-info/hnguyen/vpa/ 相关软件: 贝博普;OpenNWA公司;github;Java操作系统;自旋蛋白;爆炸;中高音;XPath(XPath) 引用于: 5文件 全部的 前5名10位作者引用 2 Kai T.Salomaa。 1 拉杰夫·阿鲁尔 1 米歇尔·齐亚里 1 Janoušek,扬 1 帕塔萨拉西马杜苏丹 1 迪诺·曼德里奥利 1 博伊沃伊·梅利查 1 拉多米尔·波拉赫 1 普拉德拉,马泰奥 1 Trávníček,一月 2篇连载文章中引用 1 信息与计算 1 计算机语言、系统和结构 在2个字段中引用 5 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 按年份列出的引文