Abstract
In this paper, a heuristic algorithm for the inference of an arbitrary context-free grammar is presented. The input data consist of a finite set of representative words chosen from a (possibly infinite) context-free language and of a finite set of counterexamples—words which do not belong to the language. The time complexity of the algorithm is polynomially bounded. The experiments have been performed for a dozen or so languages investigated by other researchers and our results are reported.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Angluin, D.: An application of the theory of computational complexity to the study of inductive inference. Doctoral Thesis. UMI Order Number: AAI7704361, University of California, Berkeley (1976)
Angluin, D.: Queries and concept learning. Mach. Learn. 2, 319–342 (1998)
Clark, A.: Learning deterministic context free grammars: The Omphalos competition. Mach. Learn. 66, 93–110 (2007)
Du, D.-Z., Ko, K.-I.: Problem Solving in Automata, Languages, and Complexity. John Wiley & Sons, Chichester (2001)
Dupont, P.: Regular Grammatical Inference from Positive and Negative Samples by Genetic Search: the GIG Method. In: Carrasco, R.C., Oncina, J. (eds.) ICGI 1994. LNCS, vol. 862, pp. 236–245. Springer, Heidelberg (1994)
Eyraud, R., Higuera, C., Janodet, J.: LARS: A learning algorithm for rewriting systems. Mach. Learn. 66, 7–31 (2007)
Giordano, J.Y.: Grammatical inference using tabu search. In: Miclet, L., de la Higuera, C. (eds.) ICGI 1996. LNCS (LNAI), vol. 1147, pp. 292–300. Springer, Heidelberg (1996)
Gold, E.M.: Language identification in the limit. Inform. and Control 10, 447–474 (1967)
Gold, E.M.: Complexity of automaton identification from given data. Inform. and Control 37, 302–320 (1978)
Grune, D., Jacobs, C.J.: Parsing Techniques: a Practical Guide. Ellis Horwood (2008)
Higuera, C.: A bibliographical study of grammatical inference. Pattern Recognition 38, 1332–1348 (2005)
Hopcroft, J.E., Ullman, J.D.: Introduction to automata theory, languages and computation. Addison-Wesley, Reading (1979)
Lankhorst, M.M.: Breeding Grammars: Grammatical Inference with a Genetic Algorithm. Comp. Science Report CS-R9401, C.S. Department, Univ. of Gronigen, The Netherlands (1994)
Lothaire, M.: Algebraic Combinatorics on Words. In: Encyclopedia of Mathematics and its Applications, Cambridge, vol. 90 (2002)
Lucas, S.M., Reynolds, T.J.: Learning deterministic finite automata with a smart state labelling evolutionary algorithm. IEEE Transactions on Pattern Analysis and Machine Intelligence 27, 1063–1074 (2005)
Mateescu, A., Salomaa, A., Yu, S.: On the decomposition of finite languages. Turku Centre for Computer Science Technical Report No. 222 (1998)
Miclet, L.: Grammatical inference. In: Syntactic and Structural Pattern Recognition, Theory and Applications, pp. 237–290. World Scientific, Singapore (1990)
Nakamura, K., Matsumoto, M.: Incremental learning of context free grammars based on bottom-up parsing and search. Pattern Recognition 38, 1384–1392 (2005)
Papadimitriou, C.H., Steiglitz, K.: Combinatorial Optimization: Algorithms and Complexity. Dover Publications, Mineola (1998)
Pitt, L., Warmuth, M.: The minimum consistent DFA problem cannot be approximated within any polynomial. J. Assoc. Comput. Mach. 40, 95–142 (1993)
Ryan, C., Colins, J., O’Neill, M.: Grammatical evolution: Evolving programs for an arbitrary language. In: Banzhaf, W., Poli, R., Schoenauer, M., Fogarty, T.C. (eds.) EuroGP 1998. LNCS, vol. 1391, pp. 83–95. Springer, Heidelberg (1998)
Sakakibara, Y.: Recent advances of grammatical inference. Theoretical Computer Science 185, 15–45 (1997)
Sakakibara, Y.: Learning context-free grammars using tabular representations. Pattern Recognition 38, 1372–1383 (2005)
Tsoulos, I.G., Lagaris, I.E.: Grammar inference with grammatical evolution (2005), http://www.cs.uoi.gr/~lagaris/papers/PREPRINTS/meta_grammars.pdf
Valiant, L.G.: A theory of the learnable. Communications of the ACM 27, 1134–1142 (1984)
Wieczorek, W.: An algorithm for the decomposition of finite languages. Logic Journal of IGPL, 12 p. (2009), doi:10.1093/jigpal/jzp032
Wieczorek, W.: Metaheuristics for the Decomposition of Finite Languages. In: Recent Advances in Intelligent Information Systems, pp. 495–505 (2009) ISBN 978-83-60434-59-8
Yokomori, T., Kobayashi, S.: Inductive learning of regular sets from examples. In: Proceedings of International Workshop on Rough Sets and Soft Computing, pp. 570–577 (1994)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wieczorek, W. (2010). A Local Search Algorithm for Grammatical Inference. In: Sempere, J.M., García, P. (eds) Grammatical Inference: Theoretical Results and Applications. ICGI 2010. Lecture Notes in Computer Science(), vol 6339. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15488-1_18
Download citation
DOI: https://doi.org/10.1007/978-3-642-15488-1_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-15487-4
Online ISBN: 978-3-642-15488-1
eBook Packages: Computer ScienceComputer Science (R0)