Results of the Abbadingo one DFA learning competition and a new evidence-driven state merging algorithm
This paper first describes the structure and results of the Abbadingo One DFA Learning Competition. The competition was designed to encourage work on algorithms that scale well—both to larger DFAs and to sparser training data. We then describe and discuss the winning algorithm of Rodney Price, which orders state merges according to the amount of evidence in their favor. A second winning algorithm, of Hugues Juillé, will be described in a separate paper.
KeywordsFinite Automaton Target Concept Candidate Node Blue Node Reference Algorithm
Unable to display preview. Download preview PDF.
- 1.B. Trakhtenbrot and Ya. Barzdin'. (1973) Finite Automata: Behavior and Synthesis. North-Holland Publishing Company, Amsterdam.Google Scholar
- 4.M. Kearns and L. Valiant. (1989) Cryptographic Limitations on Learning Boolean Formulae and Finite Automata. STOC-89.Google Scholar
- 5.L. Pitt and M. Warmuth. (1989) The Minimum DFA Consistency Problem Cannot be Approximated Within any Polynomial. STOC-89.Google Scholar
- 6.Kevin J. Lang. Random DFA's can be Approximately Learned from Sparse Uniform Examples. In Proceedings of the Fifth Annual ACM Workshop on Computational Learning Theory, pp 45–52, July 1992.Google Scholar
- 7.J. Oncina and P. Garcia. Inferring Regular Languages in Polynomial Updated Time. In Pattern Recognition and Image Analysis. pp. 49–61, World Scientific, 1992.Google Scholar
- 8.Yoav Freund, Michael Kearns, Dana Ron, Ronitt Rubinfeld, Robert Schapire, and Linda Sellie. Efficient Learning of Typical Finite Automata from Random Walks, STOC-93, pp. 315–324.Google Scholar
- 9.P. Dupont, L. Miclet, and E. Vidal. What is the search space of the regular inference? In Proceedings of the International Colloquium on Grammatical Inference ICGA-94, Lecture Notes in Artificial Intelligence 862, pp. 25–37, Springer-Verlag, 1994.Google Scholar
- 10.C. de la Higuera, J. Oncina, and E. Vidal. Identification of DFA: Data-Dependent Versus Data-Independent Algorithms. In Proceedings of the International Colloquium on Grammatical Inference ICGA-96 Lecture Notes in Artificial Intelligence 1147, pp. 313–325, Springer-Verlag, 1996.Google Scholar
- 11.Joe Kilian and Kevin J. Lang. (1997) A Scheme for Secure Pass-Fail Tests. NECI Technical Note 97-016N.Google Scholar
- 12.Hugues Juillé and Jordan B. Pollack. (1998) SAGE: a Sampling-based Heuristic for Tree Search. Submitted to Machine Learning.Google Scholar