The Inference of Regular LISP Programs from Examples