The Probably Approximately Correct Learning Model in Computational Learning Theory