Progressing the state-of-the-art in grammatical inference by competition: The Omphalos Context-Free Language Learning Competition.