A programming approach by means of simulated evolution is investigated. A program evolver which uses a formal grammar as its genetic representaion is constructed and the corresponding algorithms in the evolver are presented. Finally，the evolver is applied to the artificial ant problem.