%0 Journal Article %1 Biermann78 %A Biermann, Alan W. %D 1978 %J IEEE Transactions on Systems, Man and Cybernetics %K analytical_ip ifp induction inductive_programming program_synthesis synthesis_from_traces %N 8 %P 585--600 %T The Inference of Regular LISP Programs from Examples %U http://ieeexplore.ieee.org/Xplore/login.jsp?url=/iel5/21/4310032/04310035.pdf?arnumber=4310035 %V 8 %X A class of LISP programs that is analogous to the finite-state automata is defined, and an algorithm is given for constructing such programs from examples of their input-output behavior. It is shown that the algorithm has robust performance for a wide variety of inputs and that it converges to a solution on the basis of minimum input information.

@article{Biermann78, abstract = {A class of LISP programs that is analogous to the finite-state automata is defined, and an algorithm is given for constructing such programs from examples of their input-output behavior. It is shown that the algorithm has robust performance for a wide variety of inputs and that it converges to a solution on the basis of minimum input information. }, added-at = {2008-05-16T16:11:56.000+0200}, author = {Biermann, Alan W.}, biburl = {https://www.bibsonomy.org/bibtex/2dcdeaf863bf8adb4ab7ee4fa515893a0/emanuel}, description = {Surveyed in Smith, The Synthesis of LISP Programs from Examples: A Survey, 1984}, interhash = {1cea5adb1ef1dcbafb14a8d52778490b}, intrahash = {dcdeaf863bf8adb4ab7ee4fa515893a0}, journal = {IEEE Transactions on Systems, Man and Cybernetics}, keywords = {analytical_ip ifp induction inductive_programming program_synthesis synthesis_from_traces}, number = 8, pages = {585--600}, timestamp = {2008-05-16T16:11:56.000+0200}, title = {The Inference of Regular {LISP} Programs from Examples}, url = {http://ieeexplore.ieee.org/Xplore/login.jsp?url=/iel5/21/4310032/04310035.pdf?arnumber=4310035}, volume = 8, year = 1978 }