An interactive learning algorithm for acquisition of concepts represented as CFL
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. Supported by the National “863” Hi-Tech Programme and the National Natural Science Foundation of China, and the National ‘Ninth-Five’ Sci-Tech Programme. Dong Yunmei is a Professor of Computer Science at Institute of Software, Chinese Academy of Sciences (CAS). He graduated from Jilin University in 1956. Currently he is a Member of CAS, and also serves as the Director of Laboratory of Computer Science, Institute of Software, CAS. His research interests include software specification and reuse techniques.