Language identification in the limit

Language identification in the limit