Abstract
In this paper, we analyze the effectiveness of a leading finite state automaton (FSA) induction algorithm, windowed evidence driven state merging (W-EDSM). W-EDSM generates small automata that correctly label a given set of positive and a given set of negative example strings defined by a regular (Type 3) language. In particular, W-EDSM builds a prefix tree for the exemplars which is then collapsed into a FSA. This is done by selecting nodes to merge based on a simple heuristic until no more merges are possible. Our experimental results show that the heuristic used works well for later merges, but not very well for early merges. Based on this observation, we are able to make a small modification to W-EDSM which improves the performance of the algorithm by 27% and suggest other avenues for futher enhancement.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
J. E. Hopcroft and J. D. Ullman, Formal Languages And Their Relation to Automata. Reading, Mass.: Addison-Wesley, 1969.
E. Gold, “Complexity of automaton identification from given data,” Information and Control, vol. 37, pp. 302–320, 1978.
A. Blumer, A. Ehrenfeucht, D. Haussler, and M. K. Warmuth, “Occam’s razor,” Information Processing Letters, vol. 24, pp. 377–380, 1987.
B. A. Trakhtenbrot and Y. M. Barzdin, Finite Automata. Amsterdam: North-Holland, 1973.
K. J. Lang, “Random DFA’s can be approximately learned from sparse uniform examples,” in Proceedings of the Fifth ACM Workshop on Computational Learning Theory, (New York, N.Y.), pp. 45–52, ACM, 1992.
K. J. Lang, B. A. Pearlmutter, and R. A. Price, “Results of the Abbadingo one DFA learning competition and a new evidence-driven state merging algorithm,” in Proc. 4th International Colloquium on Grammatical Inference-ICGI’ 98, vol. 1433, pp. 1–12, Springer-Verlag, 1998.
H. Juille and J. B. Pollack, “A sampling-based heuristic for tree search applied to grammar induction,” in Proceedings of the Fifteenth National Conference on Artificial Intelligence (AAAI-98) Tenth Conference on Innovative Applications of Artificial Intelligence (IAAI-98), (Madison, Wisconsin, USA), AAAI Press Books, 26–30 1998.
K. Lang, “Evidence-driven state merging with search,” 1998.
A. L. Oliveira and J. P. M. Silva, “Efficient search techniques for the inference of minimum size finite automata,” in String Processing and Information Retrieval, pp. 81–89, 1998.
J. M. Pena and A. L. Oliveira, “A new algorithm for the reduction of incompletely specified finite state machines,” in Proc. of the ACM/IEEE International Conference on Computer Aided Design, (San Jose), pp. 482–489, IEEE Computer Society Press, 1998.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cicchello, O., Kremer, S.C. (2002). Beyond EDSM. In: Adriaans, P., Fernau, H., van Zaanen, M. (eds) Grammatical Inference: Algorithms and Applications. ICGI 2002. Lecture Notes in Computer Science(), vol 2484. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45790-9_4
Download citation
DOI: https://doi.org/10.1007/3-540-45790-9_4
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-44239-4
Online ISBN: 978-3-540-45790-9
eBook Packages: Springer Book Archive