A survey of results in grammatical inference