Editing by example
Editing by example
复制标题
举例编辑
DOI：
10.1145/4472.4476
复制
发表时间：
1984
期刊：
影响因子：
--
通讯作者：
R. Nix
中科院分区：
文献类型：
--
作者：
R. Nix
通过示例系统进行编辑是一种自动程序合成设施，该工具嵌入了文本编辑器中，可用于解决重复性文本编辑问题。用户为编辑器提供了一些文本转换的示例。系统分析示例并将其概括为可以对用户其余文本进行转换的程序。本文概述了按示例系统进行实际编辑的设计，分析和实施。它研究了综合文本处理程序的问题，该程序概括了由少数输入/输出示例隐含描述的转换。定义了一类称为GAP程序的文本处理程序，并检查了与示例合成它们相关的问题，从而导致有效的启发式方法可以从其输入/输出行为的示例中综合一个GAP程序。从该分析得出的示例系统编辑已嵌入生产文本编辑器中。通过通过示例系统开发编辑，该系统解决了有用的文本处理问题类别，这项工作表明程序合成在文本编辑的范围内是可行的。
An editing by example system is an automatic program synthesis facility embedded in a text editor that can be used to solve repetitive text editing problems. The user provides the editor with a few examples of a text transformation. The system analyzes the examples and generalizes them into a program that can perform the transformation to the rest of the user's text. This paper presents an overview of the design, analysis, and implementation of a practical editing by example system. It studies the problem of synthesizing a text processing program that generalizes the transformation implicitly described by a small number of input/output examples. A class of text processing programs called gap programs is defined and the problems associated with synthesizing them from examples are examined, leading to an efficient heuristic that provably synthesizes a gap program from examples of its input/output behavior. The editing by example system derived from this analysis has been embedded in a production text editor. By developing an editing by example system that solves a useful class of text processing problems, this work demonstrates that program synthesis is feasible in the domain of text editing.