Ant Colony Optimization (ACO); Cliques; Context-free cover-grammar (CFCG); Grammatical inference
Foundations of Computing and Decision Sciences, Vol 41, iss. 4 (2016), s. 297-315
A cover-grammar of a finite language is a context-free grammar that accepts all words in the language and possibly other words that are longer than any word in the language. In this paper, we describe an efficient algorithm aided by Ant Colony System that, for a given finite language, synthesizes (constructs) a small cover-grammar of the language. We also check its ability to solve a grammatical inference task through the series of experiments.