An Interactive Learning Algorithm for Acquisition of Concepts Represented as CFL
 
             
            
                    
                                        
            		- 
Abstract
    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.
 
- 
                          
-