本文描述一个自动程序设计系统的梗概。
A brief description of an automatic programming system is given in this paper.
自动程序设计系统包括两种程序设计活动：形式化与实现。
An automatic programming system always includes two programming activities: formalization and implementation.
自动程序设计系统APA使用类比推理技术，向过去经验学习编写新的LISP程序。
APA, an automatic programming system, can use analogical reasoning to learn from past experience and construct new LISP programs.
应用推荐