An Interactive Learning Algorithm for Acquisition of Concepts Represented as CFL

In this paper,an interactive learning algorithm of context-frmm language is presented.This algorithm is designed especially for system SAQ,which is a system for formal secification 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.

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.