An introduction to computational learning theory