Development of the SP machine
Language identification in the limit