El presente libro está dedicado a lo que hemos denominado como enfoque formal de la Bioinformática. Con este término se refiere la Bioinformática entendida como disciplina en la que de acuerdo con algunas instituciones y universidades norteamericanas, se incluye la modelización y simulación de sistemas biológicos y el desarrollo y aplicación de algoritmos orientados al análisis de datos en distintas áreas de conocimiento, aplicándose métodos clásicos en Biomatemática y técnicas de Vida Artificial e Inteligencia Artificial. Por consiguiente, se incluyen además de las técnicas de simulación el estudio de los algoritmos bioinspirados, es decir de aquellos procedimientos computacionales inspirados en sistemas y fenómenos observados en la Naturaleza, por ejemplo la evolución, reproducción, aprendizaje, memoria, comportamiento, adaptación, etc.