Vcsn编号

Vcsn是一个专用于有限状态机计算的平台。它提供了一个高效的C++库、Python接口和IPython之上的图形用户界面。在这里,有限状态机应该从最广泛的意义上理解:带有多个磁带的有限自动机-通常称为传感器-或者更一般的具有多重性的有限自动机,也就是说,一种自动机,它不仅接受符号序列,而且为这种序列计算一个与之相关的“值”,这个值可以在任何半环中得到。实际上,我们的框架是在任何半环上具有多重性的自动机集:一般的算法只需编写一次,就可以实例化到任何一种特殊的自动机上。因此,我们从以抽象方式编写的算法中获得了高效的代码。Vcsn得益于LRDE从我们对Olena的高性能通用编程的深入研究中获得的专业知识。另一方面,它的理论基础是由巴黎Télécom ParisTech的Jacques Sakarovitch和Bordelais de Recherche en Informatique实验室的Sylvain Lombardy所保证的。

此软件的关键字

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


zbMATH中的参考文献(参考 1文章 参考)

显示结果1/1。
按年份排序(引用)

  1. Heuberger,Clemens;Krenn,Daniel;Kropf,Sara:SageMath中的自动机——组合学与理论计算机科学(2016)