A Polynomial Time Incremental Algorithm for Regular Grammar Inference

We present an efficient incremental algorithm for learning regular grammarsfrom labeled examples and membership queries. This algorithm is an extension ofAngluin's ID procedure to an incremental framework. The learning algorithm isintermittently provided with labeled examples and has access to a knowledgeableteacher capable of answering membership queries. Based on the observed examplesand the teacher's responses to membership queries, the learner constructs a deterministicfinite...