IEE Colloquium on Grammatical Inference: Theory, Applications and Alternatives