VPAlib公司

可见下推自动机(VPA)是最近由Alur和Madhusudan[1]提出的一种特殊的下推自动机,它对输入字母表进行操作,这些字母表被分成三组不相交的调用集、返回集和局部符号集。相应的可视下推语言(VPL)类已经被证明具有常规语言所具有的许多理想特性。VPL在并集、交集、互补、级联和Kleene星下是封闭的。我们也可以从一个不确定的自动机构造一个确定性的可视下推自动机。我们已经实现了一个原型VPA库(VPAlib)来提供VPA的基本操作,以支持VPA在组件协议中的实验。这个库是用Java5编写的,目前还在测试和开发中。当前版本的vpalib0.1提供了以下VPA操作:闭包操作,包括union、intersection和Kleene star。确定性:从一个不确定的自动机构造一个确定性的可视下推自动机。我们计划使用VPAlib来构造基于VPA的组件协议,然后使用VPA上的操作来分析这些协议的属性。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换