Abstract:In this paper, the author introduces the design and implementation of an interactive procedure for grammatical inference. It serves as a tool to help the users acquire concepts represented as context-free grammars from finite examples and sentential forms, which some known concepts can be reused as sub-concepts.