直纪西田;Masahiko酒井;酒边，Toshiki 构造函数项重写系统的部分反转。 （英语） Zbl 1078.68662号 Giesl，Jürgen（编辑），术语重写和应用。2005年4月19日至21日在日本奈良举行的RTA 2005第16届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-25596-6/pbk）。《计算机科学讲义》3467264-278（2005）。 摘要：部分反转编译器生成程序，这些程序从给定的输出和已给定值的其余输入中计算给定程序的一些未知输入。本文提出了一种构造函数项重写系统的部分反转编译器。编译器自动生成条件项重写系统，然后将其分解为无条件系统。为了提高逆计算的效率，我们证明了如果生成的系统是右线性的，则最内层策略可用于获得所有解。关于整个系列，请参见[Zbl 1070.68002号]. 引用于15文件 MSC公司： 2012年第68季度 语法和重写系统 68N20型 编译与解释理论 软件：多终端;筑波;InvX公司;AProVE公司 PDF格式BibTeX公司 XML格式引用 \textit{N.Nishida}等人，Lect。注释计算。科学。3467、264--278（2005年；Zbl 1078.68662） 全文： 内政部