BriefGPT.xyz
Feb, 2022
基于集合自动机匹配的术语重写
Term Rewriting Based On Set Automaton Matching
HTML
PDF
Mark Bouwman, Rick Erkens
TL;DR
本文研究如何利用集合自动机来实现高效的术语重写过程，提出一种优化算法，用于外层重写线性左规则术语重写系统，证明其正确性，并展示了一些实现实验结果。
Abstract
In previous work we have proposed an efficient
pattern matching
algorithm based on the notion of
set automaton
. In this article we investigate how set automata can be exploited to implement efficient
→