VMTL

VMTL:一个模块化终端实验室。术语重写系统(TRS)的自动分析在过去的几十年中引起了科学界的广泛关注,为此已经开发了许多不同的方法和方法。我们提出了VMTL(维也纳模块化终端实验室),该工具实现了一些最新的和强大的TRS终端分析算法,同时提供了一个开放的接口,允许用户根据广泛采用的依赖对框架,方便地以模块化的方式插入新的算法。VMTL除了模块可扩展性外,重点分析了条件项重写系统(CTRSS)的终止行为。使用最新的转换技术之一,所产生的受限终止问题(对于无条件上下文敏感的TSS)用专用算法处理。

本软件关键词

这里的任何东西都将在支持画布元素的浏览器上被替换。