%0 Journal Article
%T An interactive learning algorithm for acquisition of concepts represented as CFL<br>An Interactive Learning Algorithm for Acquisition of Concepts Represented as CFL
%A Dong Yunmei
%A <br>Dong
%A Yunmei
%J 计算机科学技术学报
%D 1998
%I 
%X 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.
%K Interactive learning algorithm
%K context-free language
%K grammatical
%K inference<br>软件
%K CFL语言
%K 学习算法
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=F57FEF5FAEE544283F43708D560ABF1B&aid=823F7DD829603068E3DFC7118FC30E9C&yid=8CAA3A429E3EA654&vid=FC0714F8D2EB605D&iid=CA4FD0336C81A37A&sid=CA4FD0336C81A37A&eid=5D311CA918CA9A03&journal_id=1000-9000&journal_name=计算机科学技术学报&referenced_num=2&reference_num=5