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
Icono pdf Acceso al artículo completo