On Turing complete T7 and MISC F--4 program fitnes landscapes

We use the minimal instruction set F-4 computer to define a minimal Turing complete T7 computer suitable for genetic programming (GP) and amenable to theoretical analysis. Experimental runs and mathematical analysis of the T7, show the fraction of halting programs is drops to zero as bigger programs are run.

[1]  Cristian S. Calude,et al.  Computing a Glimpse of Randomness , 2002, Exp. Math..

[2]  M. Nishiguchi,et al.  Evolution of recursive programs with multi-niche genetic programming (mnGP) , 1998, 1998 IEEE International Conference on Evolutionary Computation Proceedings. IEEE World Congress on Computational Intelligence (Cat. No.98TH8360).

[3]  Geum Yong Lee.  Genetic recursive regression for modeling and forecasting real-world chaotic time series , 1999 .

[4]  John R. Woodward.  Evolving Turing Complete representations , 2003, The 2003 Congress on Evolutionary Computation, 2003. CEC '03..

[5]  Terence C. Fogarty,et al.  Genetic Control Applied to Asset Managements , 2002, EuroGP.

[6]  Scott Brave,et al.  Evolving recursive programs for tree search , 1996 .

[7]  Kwong-Sak Leung,et al.  Evolving recursive functions for the even-parity problem using genetic programming , 1996 .

[8]  Gregory S. Hornby,et al.  Generative representations for evolutionary design automation , 2003 .

[9]  Riccardo Poli,et al.  Using Schema Theory To Explore Interactions Of Multiple Operators , 2002, GECCO.

[10]  William B. Langdon,et al.  Convergence of Program Fitness Landscapes , 2003, GECCO.

[11]  Evan R. Kirshenbaum,et al.  Iteration Over Vectors in Genetic Programming , 2001 .

[12]  Mykel J. Kochenderfer.  Evolving Hierarchical and Recursive Teleo-reactive Programs through Genetic Programming , 2003, EuroGP.

[13]  Justinian Rosca,et al.  A PROBABILISTIC MODEL OF SIZE DRIFT , 2003 .

[14]  Jürgen Schmidhuber,et al.  Optimal Ordered Problem Solver , 2002, Machine Learning.

[15]  William B. Langdon,et al.  Convergence Rates For The Distribution Of Program Outputs , 2002, GECCO.

[16]  William B. Langdon,et al.  Genetic Programming and Data Structures: Genetic Programming + Data Structures = Automatic Programming! , 1998 .

[17]  Peter Nordin,et al.  Evolutionary program induction of binary machine code and its applications , 1997 .

[18]  Astro Teller,et al.  Turing completeness in the language of genetic programming with indexed memory , 1994, Proceedings of the First IEEE Conference on Evolutionary Computation. IEEE World Congress on Computational Intelligence.

[19]  William B. Langdon,et al.  How Many Good Programs are There? How Long are They? , 2002, FOGA.

[20]  G. Chaitin.  An algebraic equation for the halting probability , 1988 .

[21]  K. E. Kinnear,et al.  Evolving a sort: lessons in genetic programming , 1993, IEEE International Conference on Neural Networks.

[22]  Peter A. Whigham,et al.  Genetic Approaches to Learning Recursive Relations , 1994, Evo Workshops.

[23]  W. Langdon,et al.  Autoconstructive Evolution : Push , PushGP , and Pushpop , 2001 .

[24]  Akira Ito,et al.  The Emergence of Cooperation in a Society of Autonomous Agents - The Prisoner's Dilemma Game under the Disclosure of Contract Histories , 1995, ICMAS.

[25]  Man Leung Wong,et al.  Applying Adaptive Grammar Based Genetic Programming in Evolving Recursive Programs , 2006 .

[26]  Tina Yu.  A Higher-Order Function Approach to Evolve Recursive Programs , 2006 .

[27]  Kwong-Sak Leung,et al.  Learning recursive functions from noisy examples using generic genetic programming , 1996 .

[28]  John R. Koza,et al.  Recognizing patterns in protein sequences using iteration-performing calculations in genetic programming , 1994, Proceedings of the First IEEE Conference on Evolutionary Computation. IEEE World Congress on Computational Intelligence.

[29]  Robert I. McKay.  Partial functions in fitness-shared genetic programming , 2000, Proceedings of the 2000 Congress on Evolutionary Computation. CEC00 (Cat. No.00TH8512).

[30]  Jonathan E. Rowe,et al.  A Schema-Based Version of Geiringer's Theorem for Nonlinear Genetic Programming with Homologous Crossover , 2005, FOGA.

[31]  John R. Koza,et al.  Classifying proteins as extracellular using programmatic motifs and genetic programming , 1998, 1998 IEEE International Conference on Evolutionary Computation Proceedings. IEEE World Congress on Computational Intelligence (Cat. No.98TH8360).

[32]  W. B. Langdon,et al.  Genetic Programming and Data Structures , 1998, The Springer International Series in Engineering and Computer Science.

[33]  Rolf Herken,et al.  The Universal Turing Machine: A Half-Century Survey , 1992 .

[34]  Riccardo Poli,et al.  A Schema Theory Analysis of the Evolution of Size in Genetic Programming with Linear Representations , 2001, EuroGP.

[35]  Riccardo Poli,et al.  Foundations of Genetic Programming , 1999, Springer Berlin Heidelberg.

[36]  Dominic P. Searson,et al.  Evolutionary design of process controllers , 1998 .

[37]  Lee Spector,et al.  Autoconstructive Evolution: Push, PushGP, and Pushpop , 2001 .

[38]  Tina Yu,et al.  Hierarchical Processing for Evolving Recursive and Modular Programs Using Higher-Order Functions and Lambda Abstraction , 2001, Genetic Programming and Evolvable Machines.

[39]  Jason M. Daida,et al.  Visualizing Tree Structures in Genetic Programming , 2003, Genetic Programming and Evolvable Machines.

[40]  John R. Koza,et al.  Hierarchical Genetic Algorithms Operating on Populations of Computer Programs , 1989, IJCAI.

[41]  C. Clack,et al.  Recursion , Lambda Abstractions and Genetic Programming , 2022 .

[42]  Georges R. Harik,et al.  Foundations of Genetic Algorithms , 1997 .

[43]  William B. Langdon,et al.  Quadratic Bloat in Genetic Programming , 2000, GECCO.

[44]  Riccardo Poli,et al.  A schema theory analysis of mutation size biases in genetic programming with linear representations , 2001, Proceedings of the 2001 Congress on Evolutionary Computation (IEEE Cat. No.01TH8546).

[45]  John R. Koza,et al.  Automated discovery of detectors and iteration-performing calculations to recognize patterns in protein sequences using genetic programming , 1994, 1994 Proceedings of IEEE Conference on Computer Vision and Pattern Recognition.

[46]  David E. Goldberg,et al.  BUILDING-BLOCK SUPPLY IN GENETIC PROGRAMMING , 2003 .

[47]  Tina Gwoing Yu,et al.  An analysis of the impact of functional programming techniques on genetic programming , 1999 .

[48]  Witthaya Panyaworayan,et al.  Time series prediction using a recursive algorithm of a combination of genetic programming and constant optimization , 2002 .

[49]  John R. Koza,et al.  Genetic programming - on the programming of computers by means of natural selection , 1993, Complex adaptive systems.

[50]  William A. Greene.  Schema Disruption in Chromosomes That Are Structured as Binary Trees , 2004, GECCO.

[51]  Riccardo Poli,et al.  Exact Schema Theory and Markov Chain Models for Genetic Programming and Variable-length Genetic Algorithms with Homologous Crossover , 2004, Genetic Programming and Evolvable Machines.

[52]  Gregory S. Hornby,et al.  Creating Complex Building Blocks through Generative Representations , 2003 .

[53]  Peter Nordin,et al.  Evolving Turing-Complete Programs for a Register Machine with Self-modifying Code , 1995, ICGA.

[54]  Nelishia Pillay,et al.  Using genetic programming for the induction of novice procedural programming solution algorithms , 2002, SAC '02.

[55]  John R. Woodward,et al.  Invariance of Function Complexity Under Primitive Recursive Functions , 2006, EuroGP.

[56]  L. Huelsbergen,et al.  Toward simulated evolution of machine-language iteration , 1996 .

[57]  Daryl Essam,et al.  Adaptive control of partial functions in genetic programming , 2001, Proceedings of the 2001 Congress on Evolutionary Computation (IEEE Cat. No.01TH8546).

[58]  Roland Olsson,et al.  Inductive Functional Programming Using Incremental Program Transformation , 1995, Artif. Intell..

[59]  Maarten Keijzer,et al.  The Push3 execution stack and the evolution of control , 2005, GECCO '05.

[60]  Roland Olsson,et al.  Population management for automatic design of algorithms through evolution , 1998, 1998 IEEE International Conference on Evolutionary Computation Proceedings. IEEE World Congress on Computational Intelligence (Cat. No.98TH8360).

[61]  John R. Koza,et al.  Evolution of Iteration in Genetic Programming , 1996, Evolutionary Programming.