An interactive learning algorithm for acquisition of concepts represented as CFL

In this paper, an interactive learning algorithm of context-free language is presented. This algorithm is designed especially for system SAQ, which is a system for formal specification acquisition and verification. As the kernel of concept acquisition subsystem (SAQ/CL) of SAQ, the algorithm has been implemented on SUN SPARC workstation. The grammar to be obtained can represent sentence structure naturally.