A formal analysis of the computational dynamics in GIGANTEC.
An evolutionary algorithm formalism has been forwarded in a previous research, and implemented in the system GIGANTEC: enetic nduction for eneral nalytical on-numeric ask volution ompiler [Bad98][Bad99]. A dynamical model is developed to analyze the behaviour of the algorithm. The model is dependent in its analysis on classical Compilers Theory, Game Theory and Markov Chains and its convergence characteristics. The results conclude that a limiting state is reached, which is independent of the initial...