BriefGPT.xyz
Ask
alpha
关键词
redex discovery
搜索结果 - 1
基于集合自动机匹配的术语重写
本文研究如何利用集合自动机来实现高效的术语重写过程，提出一种优化算法，用于外层重写线性左规则术语重写系统，证明其正确性，并展示了一些实现实验结果。
PDF
2 years ago
Prev
Next