A formal analysis of the computational dynamics in GIGANTEC.

Título inglés	A formal analysis of the computational dynamics in GIGANTEC.
Título español	Análisis formal de la dinámica computacional en GIGANTEC.
Autor/es	Badr, Amr
Organización	Dep. Comput. Sci. Fac. Comput. Informat. Cairo Univ., El Cairo, Egipto
Revista	1134-5632
Publicación	2001, 8 (2): 137-152, 15 Ref.
Tipo de documento	articulo
Idioma	Inglés
Resumen inglés	An evolutionary algorithm formalism has been forwarded in a previous research, and implemented in the system GIGANTEC: Genetic Induction for General Analytical Non-numeric Task Evolution Compiler [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 population and the mutation rate, but dependent on the cardinality of the alphabet of the driving L-system.
Clasificación UNESCO	120323
Palabras clave español	Algoritmos genéticos ; Lenguajes algorítmicos ; Modelo dinámico ; Cadenas de Markov ; Compiladores
Código Z-Math	Zbl 1014.68047
Acceso al artículo completo