Regular language induction with genetic programming
Bertrand Daniel Dunay, Frederick E. Petry, Bill P. Buckles · 2002
In this research, inductive inference is done with an informant on the class of regular languages. The approach is to evolve formal language accepters which are consistent with a set of sample strings from the language, and a set of sample strings known not to be in the language. Deterministic finite automata (DFA) were chosen as the formal language accepters to alleviate the computational difficulties of nondeterministic constructs such as rewrite grammars. Genetic programming (GP) offers two significant improvements for regular language induction over genetic algorithms. First, GP allows the size of the solution (the DFA) to be determined at run time in response to population pressure. Second, GP's potential for assuring correct dependencies in complex individuals can be exploited to assure that all states in a DFA are reachable from the start state. The contribution of this research is the effective translation of DFAs to S-expressions, the application of renumbering, and of editing to the problem of language induction. DFAs or transition tables form the basis of many problems. By using the techniques found in this paper, many of these problems can be directly translated into the domain of genetic programming.>