论文标题
关于通过程序转换求解单词方程
On Solving Word Equations via Program Transformation
论文作者
论文摘要
本文提出了一个通过配置WE（R，E）来求解单词方程式的实验，在该程序中，我们可以将程序视为解释器测试，将替换组成的组成r产生单词方程E的解决方案。当使用基本/折叠策略的基本外观策略专业化的几个解释器的变体都可以使用基本的fromitions来确定多个文字等式的差异。
The paper presents an experiment of solving word equations via specialization of a configuration WE(R,E), where the program WE can be considered as an interpreter testing whether a composition of substitutions R produces a solution of a word equation E. Several variants of such interpreters, when specialized using a basic unfold/fold strategy, are able to decide solvability for a number of sets of the word equations with the overlapping variables.
