×

火柴盒

swMATH ID: 10115
软件作者: J·沃尔德曼。
描述: Matchbox:用于匹配边界字符串重写的工具。程序Matchbox实现了对正则语言后代集和非终止字符串集的精确计算,这些都与(逆)匹配边界字符串重写系统有关。Matchbox可以搜索给定重写系统及其某些转换变体的匹配高度属性的布尔组合的证明或反证明。这以各种方式应用于搜索终止和非终止的证据。Matchbox是第一个为一些困难的字符串重写系统提供自动终止证明的程序。
主页: http://link.springer.com/chapter/10.1007/978-3-540-25979-4_6
源代码:  https://github.com/jwaldmann/matchbox/
相关软件: AProVE公司;蒂罗尔(Tyrolean);哈斯克尔;托尔帕;CiME公司;保险箱;超小卫星;;多终端;CeTA公司;伊莎贝尔/HOL;TPA公司;TPDB公司;莫德;OBJ3型;CoLoR公司;筑波;;钙DiCaL;术语重新编写
引用于: 24文件

按年份列出的引文