OpenNWA公司

OpenNWA:一个嵌套的词自动机库。嵌套词自动机(NWAs)是一种语言形式主义,有助于弥合有限状态自动机和下推自动机之间的鸿沟。NWAs可以表示一些上下文无关的属性,如括号匹配,但保留了有限状态自动机所有需要的闭包特性。本文介绍了OpenNWA,一个用于nwa的C++库。该库提供了预期的自动机理论操作,如交集、确定和互补。它与加权自动机库WALi一起打包,并与WALi的加权下推系统部分紧密地交互操作。

此软件的关键字

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


zbMATH参考文献(参考

显示结果1到3,共3个。
按年份排序(引用)

  1. Chistikov,Dmitry;Martyugin,Pavel;Shirmohammadi,Mahsa:嵌套词上的同步自动机(2016)
  2. Friedmann,Oliver;Klaedtke,Felix;Lange,Martin:基于Ramsey的可视下推自动机包含检查(2015)
  3. 埃文·德里斯科尔;阿迪蒂亚·塔库尔;托马斯·雷普斯:OpenNWA:一个嵌套的词自动机库(2012年)ioport公司